On Wed, Jun 21, 2023 at 09:17:59PM +0200, Ralf Hemmecke wrote:
> On 21.06.23 16:24, Waldek Hebisch wrote:
> > > The file just invokes ')compile' but I see no .spad file.
>
> I am sorry. Now the .spad file is attached as well.
Well, we have:
(7) -> s::QETATTS(QETATS(FRAC(INT)))
[:> , QTTS: prec, 1]
[:> , *prec, 1]
[:> , x, [1]]
2 3 4 5
(7) [2 + 2 q + 2 q + 2 q + 2 q + O(q )]
Type: QEtaTruncatedTaylorSeries(QEtaTaylorSeries(Fraction(Integer)))
And that is clear: we have coercion form coefficient domain, that
is QEtaTaylorSeries(Fraction(Integer)) to series domain. And
interpreter uses 'precision' from domain above...
So, it looks that FriCAS this time works as designed, but there
are unexpected consequences.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZJOO5Cba7O%2B%2BqIox%40fricas.math.uni.wroc.pl.
