"Source: Text/Geometry/Toric.text";
"Line: 2668";
"Date: Wed Sep  5 23:00:01 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Toric.text, line: 2668
// Example: H126E17 ()
print "Example: H126E17";
ei := GetEchoInput();
SetEchoInput(true);
// no-test
X := ProjectiveSpace(Rationals(),[1,1,1]);
Y<u,v,x,y> := Blowup(X, &+Rays(Fan(X))[1..2]);
Y;
D := 2*Divisor(Y,u) - Divisor(Y,v);
IsEffective(D);
assert not $1;
P := Polyhedron(D);
monos := [ LatticeElementToMonomial(D,v) : v in Points(P) ];
monos;
[ AreLinearlyEquivalent(Divisor(Y,m),D) : m in monos ];
SetEchoInput(ei);
