Hi Bill, > Fredrik and I found the following in Sage 6.3. > sage: R.<x> = PowerSeriesRing(ZZ) > sage: S.<y> = PowerSeriesRing(R) > sage: x + O(x^4) + y + O(y^4) > x + O(x^4) + y + O(y^4) > sage: y + O(y^4) + x + O(x^4) > x + y + O(y^4) > I guess this comes from Pari defining: > 0 == O(x^4) > to be true.
Sage currently implements power series on top of polynomials, not via PARI (but I have been working on a different implementation based on PARI series, see http://trac.sagemath.org/ticket/15601). Peter -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
