next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Normaliz :: torusInvariants

torusInvariants -- ring of invariants of torus action

Synopsis

Description

Let T=(K*)r be the r-dimensional torus acting on the polynomial ring R=K[X1,...,Xn] diagonally. Such an action can be described as follows: there are integers aij, i=1,...,r, j=1,...,n, such that (λ1,...,λr)∈T acts by the substitution

Xj↦λ1a1j*...*λrarjXj, j=1,...,n.

The function takes the matrix (aij) as input and computes the ring of invariants RT={f∈R: λf=f for all λ∈T}.

This method can be used with the options allComputations and grading.

R=QQ[x,y,z,w];
T=matrix({{-1,-1,2,0},{1,1,-2,-1}});
torusInvariants(T,R)

See also

Ways to use torusInvariants :