Top
Back: secondary_not_cohen_macaulay
Forward: rel_orbit_variety
FastBack: Invariant theory
FastForward: ainvar_lib
Up: finvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.1.33 orbit_variety

Procedure from library finvar.lib (see finvar_lib).

Usage:
orbit_variety(F,s);
F: a 1xm <matrix> defing an invariant ring, s: a <string> giving the name for a new ring

Return:
a Groebner basis (type <ideal>, named G) for the ideal defining the orbit variety (i.e. the syzygy ideal) in the new ring (named `s`)

Theory:
The ideal of algebraic relations of the invariant ring generators is calculated, then the variables of the original ring are eliminated and the polynomials that are left over define the orbit variety

Example:
 


Top Back: secondary_not_cohen_macaulay Forward: rel_orbit_variety FastBack: Invariant theory FastForward: ainvar_lib Up: finvar_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.