|
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:
|