#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 SimonKing):
Dear Florent,
Replying to [comment:27 SimonKing]:
> It is correct that the ''polynomials'' are not symmetric. But the ring
has an action of an infinite symmetric group, and the (or at least ''my'')
motivation was an implementation of Symmetric Ideals (they do deserve the
attribute 'symmetric') and their Gröbner bases (see ticket #5566). So, it
is not the 'ring of symmetric polynomials' but a 'symmetric ring of
polynomials'.
I think my suggestion "symmetric polynomial ring" is partially due to the
fact that in German it is "symmetrischer Polynomring" -- hence, clearly it
is a polynomial ring that has a symmetry, and not a ring of symmetric
polynomials ("Ring symmetrischer Polynome" in German).
Perhaps native english speakers can help here:
Is your suggestion "polynomial ring with symmetry" the shortest way to
express "symmetrischer Polynomring" in English?
Is the natural English understanding "((symmetric polynomial) ring)" or
"(symmetric (polynomial ring))"?
Best regards,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5453#comment:28>
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
-~----------~----~----~----~------~----~------~--~---
