"Source: Text/Geometry/CrvG3.text";
"Line: 252";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvG3.text, line: 252
// Example: H136E3 ()
print "Example: H136E3";
ei := GetEchoInput();
SetEchoInput(true);
P<x,y,z> := PolynomialRing(GF(31), 3);
PP := ProjectiveSpace(P);
f1 := x^4 + 3*y^4 + 5*z^4 + x^2*y*z + x*y*z^2 + x^2*y^2;
C1 := Curve(PP, f1);
I := DixmierOhnoInvariants(f1);
C2 := Curve(PP, TernaryQuarticFromDixmierOhnoInvariants(I));
IsIsomorphicPlaneQuartics(C1, C2);
SetEchoInput(ei);
