#4513: [with patch, needs work] Action of MatrixGroup on a MPolynomialRing
---------------------------------------------------+------------------------
Reporter: SimonKing | Owner: malb
Type: enhancement | Status: new
Priority: major | Milestone:
Component: commutative algebra | Resolution:
Keywords: matrix group, action, polynomial ring |
---------------------------------------------------+------------------------
Changes (by SimonKing):
* summary: Action of MatrixGroup on a MPolynomialRing => [with patch,
needs work] Action of MatrixGroup on a
MPolynomialRing
Comment:
The patch `matrixgroupCall.patch` is without doctests, and I am not sure
if it couldn't be done better. So, it needs more work.
For example, Martin mentioned the possibility (off list) to create a pyx
file with a Cython function, and then the call method would use that
function. It might pay off here, since there are tight loops and since the
method has to deal with tuples or lists. So Cdefining might speed things
up.
Opinions?
At least, the following now works:
{{{
sage: R.<x,y>=GF(3)[]
sage: M=Matrix(GF(3),[[1,2],[1,1]])
sage: G=MatrixGroup([M])
sage: g=G.0
sage: p=x*y^2
sage: g(p)
x^3 + x^2*y - x*y^2 - y^3
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4513#comment:2>
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
-~----------~----~----~----~------~----~------~--~---
