Top
Back: InvariantQ
Forward: LinearActionQ
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.7 LinearizeAction

Procedure from library rinvar.lib (see rinvar_lib).

Usage:
LinearizeAction(G,action,r); ideal G, action; int r

Purpose:
linearize the group action 'action' and find an equivariant embedding of K^m where m = size(action).

Assume:
G contains only variables var(1..r) (r = nrs)
basering = K[s(1..r),t(1..m)], K = Q or K = Q(a) and minpoly != 0.

Return:
polynomial ring containing the ideals 'actionid', 'embedid', 'groupid' - 'actionid' is the ideal defining the linearized action of G - 'embedid' is a parameterization of an equivariant embedding (closed) - 'groupid' is the ideal of G in the new ring

Note:
set printlevel > 0 to see a trace

Example:
 


Top Back: InvariantQ Forward: LinearActionQ 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.