weilDivisorGroup X
The group of torus-invariant Weil divisors on a normal toric variety is the free abelian group generated by the torus-invariant irreducible divisors. The irreducible divisors correspond bijectively to rays in the associated fan. Since the rays are indexed in this package by $0, 1, \dots, n-1$ the group of torus-invariant Weil divisors is canonically isomorphic to $\ZZ^n$. For more information, see Theorem 4.1.3 in Cox-Little-Schenck's Toric Varieties.
The examples illustrate various possible Weil groups.
|
|
|
|
|
|
|
|
|
To avoid duplicate computations, the attribute is cached in the normal toric variety.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/NormalToricVarieties/DivisorsDocumentation.m2:240:0.