On Mar 25, 2009, at 11:26 AM, Henryk Trappmann wrote: > Oh, then I have some questions. > > First how shall the class finally be named (the current name > PowerSeriesI is rather a working title): > LazyPowerSeries (conflict with Mike Hansen's package), > InfinitePowerSeries, LIPS? > > and into which package should it go: sage.rings ? > > shall it inherit from Ring? > > Though it can also be used as a field if it is taken over a Field > (i.e. has formal laurant series properties).
It should inherit from Ring. Whether or not it's a field should depend on its category, not its implementation, and can be queried with X.is_field() - Robert --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---