On 22.02.21 18:55, 'Martin R' via FriCAS - computer algebra system wrote: > Such a domain exists and is called UnivariateFormalPowerSeries :-)
Same problem. (8) -> UFPS == > UnivariateFormalPowerSeries You have used the abbreviation UFPS of the constructor UnivariateFormalPowerSeries as an identifier on the left hand side of a function definition. This is not allowed. (8) -> t3 := 1$UFPS(Q) + monomial(1, 1)$UFPS(Q) (8) 1 + x Type: UnivariateFormalPowerSeries(Fraction(Integer)) (9) -> t3 :: UTS(Q) Cannot convert the value from type UnivariateFormalPowerSeries( Fraction(Integer)) to UnivariateTaylorSeries(Fraction(Integer),q, 0) . -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/980f70f6-16ff-ea6c-9397-90122b37dedb%40hemmecke.org.