"Source: Text/Geometry/AlgSrf.text";
"Line: 6486";
"Date: Mon Mar 29 22:30:18 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/AlgSrf.text, line: 6486
// Example: H123E40 ()
print "Example: H123E40";
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);
