|
D.7.3.5 InvariantRing
Procedure from library rinvar.lib (see rinvar_lib).
- Usage:
- InvariantRing(G, Gact [, opt]); ideal G, Gact; int opt
- Purpose:
- compute generators of the invariant ring of G w.r.t. the action 'Gact'
- Assume:
- G is a finite group and 'Gact' is a linear action.
- Return:
- ring R; this ring comes with the ideals 'invars' and 'groupid' and
with the poly 'newA':
- 'invars' contains the algebra generators of the invariant ring
- 'groupid' is the ideal of G in the new ring
- 'newA' is the new representation of the primitive root of the
minimal polynomial of the ring which was active when calling the
procedure (if the minpoly did not change, 'newA' is set to 'a').
- Note:
- the minimal polynomial of the output ring depends on some random
choices
Example:
|