Re: [Axiom-math] Curious behavior of Taylor series

[Martin Rubey]

"Igor Khavkine" <address@hidden> 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