"Source: Text/Geometry/Toric.text";
"Line: 2456";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Toric.text, line: 2456
// Example: H129E16 ()
print "Example: H129E16";
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);
