"Source: Text/Geometry/AlgSrf.text";
"Line: 6486";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/AlgSrf.text, line: 6486
// Example: H126E40 ()
print "Example: H126E40";
ei := GetEchoInput();
SetEchoInput(true);
R<a,b,c> := PolynomialRing(Rationals(),3);
f := 4*a*b^2*c*(a+c)^2+(a*(b+c)^2+b*(a+c)^2)*(a*(-b+c)^2+b*(c-a)^2);
S := DegreeTwoK3Surface(f);
S; Ambient(S);
MinimalBasis(SingularSubscheme(S));
HasOnlySimpleSingularities(S : ReturnList := true);
SetEchoInput(ei);
