Ralf Hemmecke <[EMAIL PROTECTED]> writes: > On 04/30/2008 02:10 PM, Martin Rubey wrote: > > In my case, I consider x and y in fact as formal power series in t > > themselves, and I think I also want that sqrt(x^2)=x. > > Replace x by the formal power series in t having only the constant term -1.
I know, but (I believe that) my formal power series has positive leading coefficient. Martin _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer