invariants(...,UsePolyhedra=>...) -- use Polyhedra package for invariants of tori

Usage:

invariants D
Inputs:
- D, an instance of the type DiagonalAction
Outputs:
- L, a list, a minimal set of generating invariants for the group action

Description

This function is provided by the package InvariantRing.

For a diagonal action, the computation of invariants relies on finding integral points in a convex hull constructed from a weight matrix. By default, the package Normaliz is used for finding integral points. It is also possible to use the package Polyhedra for finding integral points by passing the option UsePolyhedra => true.

Functions with optional argument named UsePolyhedra:

invariantRing(...,UsePolyhedra=>...)
invariants(...,UsePolyhedra=>...) -- use Polyhedra package for invariants of tori

Further information

Default value: false
Function: invariants -- computes the generating invariants of a group action
Option key: UsePolyhedra -- use Polyhedra package for invariants of tori

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/InvariantRing/InvariantsDoc.m2:532:0.

invariants(...,UsePolyhedra=>...) -- use Polyhedra package for invariants of tori

Description

See also

Functions with optional argument named UsePolyhedra:

Further information