Package invarFC0/InvFC0.MinGens
From ApCoCoAWiki
| This article is about a function from ApCoCoA-2. |
InvFC0.MinGens
This function computes a generating system of an invariant ring.
Syntax
InvFC0.MinGens(G:LIST of MAT, opt d:INT):LIST of POLY
Description
This function computes a (d-truncated) minimal homogeneous generating system of the invariant ring P^G.
@param G A list of matrices of size n over a ring P with n indeterminates.
@param d (optional) An integer describing the truncation degree.
@return A list of polynomials that (d-truncated) minimal homogeneous generating system of P^G.
Example
Use P ::= QQ[x,y,z];
T := matrix(P, [[0,1,0],
[1,0,0],
[0,0,1]]);
C := matrix(P, [[0,1,0],
[0,0,1],
[1,0,0]]);
S3 := [T*T,T,C,T*C,T*C*C,T*C*T];
InvFC0.MinGens(S3);
Example
A := Mat(P, [[0,1,0],
[0,0,1],
[1,0,0]]);
G := [A,A^2,A^3]; // cyclic group generated by A
TruncG := InvFC0.MinGens(G,7);
See also
