|
D.4.16.8 diagInvariants
Procedure from library normaliz.lib (see normaliz_lib).
- Usage:
- diagInvariants(intmat A, intmat U);
- Return:
- @tex
This function computes the ring of invariants of a diagonalizable group
$D = T\times G$ where $T$ is a torus and $G$ is a finite abelian group, both
acting diagonally on the polynomial ring $K[X_1,\ldots,X_n]$. The group
actions are specified by the input matrices A and U. The first matrix specifies
the torus action, the second the action of the finite group. See
torusInvariants and finiteDiagInvariants for more detail. The output is a
monomial ideal listing the algebra generators of the subalgebra of invariants.
@end tex
The function returns the ideal given by the input matrix A if one of
the options supp , triang , or hvect has been
activated.
However, in this case some numerical invariants are computed, and
some other data may be contained in files that you can read into
Singular.
Example:
See also:
exportNuminvs;
finiteDiagInvariants;
intersectionValRingIdeals;
intersectionValRings;
showNuminvs;
torusInvariants.
|