"Source: Text/Geometry/GrdRng.text";
"Line: 2203";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/GrdRng.text, line: 2203
// Example: H128E9 ()
print "Example: H128E9";
ei := GetEchoInput();
SetEchoInput(true);
X := K3Surface(1,[[2,1],[3,1],[4,1],[7,1],[8,1]]);
X;
D := K3Database();
n,Y := Number(D,X);
i,Y1 := Index(D,X);
n,i;
Y eq Y1;
assert $1;
Y1 eq K3Surface(D,i);
assert $1;
Codimension(Y);
assert $1 eq 17;
SetEchoInput(ei);
