Macaulay2 » Documentation
Packages » NormalToricVarieties :: variety(ToricDivisor)
next | previous | forward | backward | up | index | toc

variety(ToricDivisor) -- get the underlying normal toric variety

Description

This function allows one to easily access the normal toric variety over which the torus-invariant Weil divisor is defined.

i1 : PP2 = toricProjectiveSpace 2;
 
i2 : D1 = 2*PP2_0 - 7*PP2_1 + 3*PP2_2

o2 = 2*PP2  - 7*PP2  + 3*PP2
          0        1        2

o2 : ToricDivisor on PP2
 
i3 : variety D1

o3 = PP2

o3 : NormalToricVariety
 
i4 : normalToricVariety D1

o4 = PP2

o4 : NormalToricVariety
 
i5 : assert(variety D1 === PP2 and normalToricVariety D1 === PP2)
 
i6 : X = normalToricVariety(id_(ZZ^3) | - id_(ZZ^3));
 
i7 : D2 = X_0 - 5 * X_3

o7 = X  - 5*X
      0      3

o7 : ToricDivisor on X
 
i8 : variety D2

o8 = X

o8 : NormalToricVariety
 
i9 : assert(X === variety D2 and X === normalToricVariety D2)

Since the underlying normal toric variety is a defining attribute of a toric divisor, this method does not computation.

See also

Ways to use this method:

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/NormalToricVarieties/DivisorsDocumentation.m2:811:0.