#5453: [with patch, needs review] Create a ring for working with polynomials in
countably infinitely many variables
---------------------------------+------------------------------------------
Reporter: mhansen | Owner: mhansen
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-3.4.2
Component: commutative algebra | Keywords:
---------------------------------+------------------------------------------
Comment(by hivert):
Let me add my two cents: It seems to me that the if something is called
"the ring of symmetric polynomials" this is *not* what you implement under
the name {{{SymetricPolynomialRing}}} so that I'm against such a name.
Another argument is that it is extremely likely that some people working
in combinatorics will need "the ring of symmetric polynomials" (in a
finite number of variable). We already have a the ring of "symmetric
functions" that is the case of an infinite number of variables. Note that,
whether they are polynomials or not is always subject to discussion: they
have an infinite number of monomials but they have a finite degree. We
(combinatorician) choose the name functions for those finite degree series
in an infinite number of variables.
Anyway, going back to your case, what about
{{{PolynomialRingWithSymmetry}}} ?
Cheers,
Florent
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5453#comment:26>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
