You are right, of course. I am modifying the trac ticket to correct this. Best, Alex
On Wed, Feb 25, 2009 at 10:06 PM, Ralf Hemmecke <r...@hemmecke.de> wrote: > > > Yes, this is a bug. The result should be O(z^0), just as in the > > following example: > > > > sage: S.<z> = QQ[[]] > > sage: p = 1 + z + O(z^2) > > sage: q = 1 + z > > sage: p(q) > > O(z^0) > > > > This is now trac #5367. > > Are you sure that O(z^0) is correct? > x = 1 + z + z^2 + z^3 + ... (ad infinitum) > would be a series that fits in the class p. > Now plug in q. Sounds as infinity (which is the the constant term of the > result) is O(z^0)... > > I would rather forbid the constant term of q to be anything but zero. > > I guess the sage-combinat people probably have something to say here. > > Ralf > > > > -- Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne -- Australia -- http://www.ms.unimelb.edu.au/~aghitza/ --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
