Top
Back: ImageGroup
Forward: InvariantQ
FastBack: ainvar_lib
FastForward: stratify_lib
Up: rinvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 


Top Back: ImageGroup Forward: InvariantQ FastBack: ainvar_lib FastForward: stratify_lib Up: rinvar_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.