#19391: Move invariant_generators to libsingular
-------------------------------------+-------------------------------------
Reporter: mmarco | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: group theory | Resolution:
Keywords: | Merged in:
Authors: Miguel Marco | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/mmarco/invariants | 24817f2e6d63c25ad45f0628bb7a45ffaa6c724f
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by mmarco):
Ok, i read in the header that you moved the computation of the reynolds
operator to gap, but i didn't see any call to gap in the code. Now i see
it, you mean this part, right?:
{{{
ReyName = 't'+singular._next_var_name()
singular.eval('matrix %s[%d][%d]'%(ReyName,self.cardinality(),n))
for i in range(1,self.cardinality()+1):
M = Matrix(elements[i-1],F)
D = [{} for foobar in range(self.degree())]
for x,y in M.dict().items():
D[x[0]][x[1]] = y
for row in range(self.degree()):
for t in D[row].items():
singular.eval('%s[%d,%d]=%s[%d,%d]+(%s)*var(%d)'
%(ReyName,i,row+1,ReyName,i,row+1, repr(t[1]),t[0]+1))
}}}
What i don't understand is this part:
{{{
else:
ReyName = 't'+singular._next_var_name()
singular.eval('list %s=group_reynolds((%s))'%(ReyName,Lgens))
IRName = 't'+singular._next_var_name()
singular.eval('matrix %s =
invariant_algebra_reynolds(%s[1])'%(IRName,ReyName))
}}}
If i am getting it right, it is supposed to cover the case where there are
no elements in the group. In that case we should just return the ring
itself.
--
Ticket URL: <http://trac.sagemath.org/ticket/19391#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
