You could use the multivariate power series in Maxima. There are 2 versions, maximum total degree and (recursively) maximum individual variable degree.
As for design, if you were writing it from scratch, I think the Maple system has a somewhat more flexible implementation. I think Axiom may have a different take on it, if it actually has generators for omitted terms. A few weeks programming can save 30 minutes in the library. RJF On Aug 29, 12:53 am, jonhanke <jonha...@gmail.com> wrote: > Hi William, > > Thanks for the clarification. To start the discussion, let me ask if > there is a good place for learning about how Sage deals with > generators, the syntax X.<y>, and what classes to inherit to get this > functionality working in a class? > > -Jon > =) > > On Aug 29, 2:16 am, William Stein <wst...@gmail.com> wrote: > > > On Fri, Aug 28, 2009 at 11:12 PM, Jonathan Hanke <jonha...@gmail.com> wrote: > > > Hi, > > > > I was wondering if there is (or is planned) support for natural > > > multivariate power series ring constructions (with say fixed precision for > > > each variable) similar to that of polynomal rings? It would be nice to be > > > able to say something like > > > > S = PowerSeriesRing(QQ, 'x,y', [15, 20]) > > > or > > > S.<x,y> = PowerSeriesRing(QQ, [15, 20]) > > > > instead of > > > > S1.<x> = PowerSeriesRing(QQ, 15) > > > S.<y> = PowerSeriesRing(S1, 20) > > > > Thanks, > > > Since mid-2005 I personally remember numerous discussions about adding > > multivariate power series rings to Sage. Usually what happens is people > > talk about it a lot, decide it is an interesting/hard/whatever problem, > > decide to do something really general, and then in every case nothing > > whatever happens. This is partly because so far when people have actual > > problems that are most naturally expressed using multivariate power series > > rings, they just do everything using multivariate polynomial rings instead > > of implementing multivariate power series. > > > So, let the discussion I just predicted begin! I very much the pattern of > > "discussion followed by nothing" is finally broken this time. > > > -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an 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 -~----------~----~----~----~------~----~------~--~---