"Source: Text/Geometry/Toric.text";
"Line: 2456";
"Date: Wed Sep  5 23:00:01 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Toric.text, line: 2456
// Example: H126E16 ()
print "Example: H126E16";
ei := GetEchoInput();
SetEchoInput(true);
X := ProjectiveSpace(Rationals(),[1,1,1]);
Y<u,v,x,y> := Blowup(X, &+Rays(Fan(X))[1..2]);
Y;
D := Divisor(Y,4);
MovablePart(D);
MovablePart(D) eq ZeroDivisor(Y);
assert $1;
E := D + (1/2)*Divisor(Y,u);
MovablePart(E);
  MovablePart(2*E);
  MovablePart(2*E) eq (D + Divisor(Y,u));
assert $1;
SetEchoInput(ei);
