|
D.6.12.1 ArnoldAction
Procedure from library qhmoduli.lib (see qhmoduli_lib).
- Usage:
- ArnoldAction(f, [Gf, B]); poly f; list Gf, B;
'Gf' is a list of two rings (coming from 'StabEqn')
- Purpose:
- compute the induced action of the stabilizer G of f on T_, where
T_ is given by the upper monomials B of the Milnor algebra of f.
- Assume:
- f is quasihomogeneous
- Return:
- polynomial ring over the same ground field, containing the ideals
'actionid' and 'stabid'.
- 'actionid' is the ideal defining the induced action of Gf on T_
- 'stabid' is the ideal of the stabilizer Gf in the new ring
Example:
|