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