"Igor Khavkine" <[EMAIL PROTECTED]> writes: > OK, but the following definitely looks like a bug. > > (279) -> monx := monomial(1,1)$UTS(EXPR INT,x,0) > (279) x > Type: UnivariateTaylorSeries(Expression Integer,x,0) > (281) -> sqrt(monx*monx) > (281) -> > (281) 1 > Type: UnivariateTaylorSeries(Expression Integer,x,0)
Yes, that's a bug. Please submit a report and fix it :-) you can see what's going on by saying )tr UTS )ma However, it seems that sqrt is not defined in UTS itself. So you'll have to find out where it is defined and that trace that constructor. If you need more support, please ask for it. By the way, the bug even occurs if you work in UTS(FRAC INT, x, 0) :-( Martin _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
