"Source: Text/Geometry/Toric.text";
"Line: 2915";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Toric.text, line: 2915
// Example: H129E19 ()
print "Example: H129E19";
ei := GetEchoInput();
SetEchoInput(true);
F2<u,v,x,y> := HirzebruchSurface(Rationals(),2);
D := Divisor(F2,x);
Y,f := Proj(D);
Y;
f;
F := ToricVarietyMap(F2,Y,f);
F;
IsRegular(F);
assert $1;
SetEchoInput(ei);
