#4513: [with patch, needs work] Action of MatrixGroup on a MPolynomialRing
---------------------------------------------------+------------------------
Reporter: SimonKing | Owner: SimonKing
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.2.2
Component: commutative algebra | Resolution:
Keywords: matrix group, action, polynomial ring |
---------------------------------------------------+------------------------
Comment (by SimonKing):
Really Oops. Sorry.
I implemented it analogous to what is done in Singular. Perhaps I am
mistaken in the sense that it is supposed to be a right action (which then
would deserve another notation).
{{{
sage: (G.0(G.1((p))))
-x^2*y + x*y^2 - y^3
sage: (G.1*G.0)(p)
-x^2*y + x*y^2 - y^3
}}}
However, I think it doesn't matter what Singular does. I will look up the
literature whether one really wants a ''right'' or ''left'' action, and
how the left action is supposed to be.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4513#comment:12>
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
-~----------~----~----~----~------~----~------~--~---
