Top
Back: MinimalDecomposition
Forward: ReynoldsImage
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.11 NullCone

Procedure from library rinvar.lib (see rinvar_lib).

Usage:
NullCone(G, action); ideal G, action

Purpose:
compute the ideal of the nullcone of the linear action of G on K^n, given by 'action', by means of Deksen's algorithm

Assume:
basering = K[s(1..r),t(1..n)], K = Q or K = Q(a) and minpoly != 0, G is an ideal of a reductive algebraic group in K[s(1..r)], 'action' is a linear group action of G on K^n (n = ncols(action))

Return:
ideal of the nullcone of G.

Note:
the generators of the nullcone are homogenous, but in general not invariant

Example:
 


Top Back: MinimalDecomposition Forward: ReynoldsImage 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.