"Source: Text/Geometry/CrvG3.text";
"Line: 252";
"Date: Tue May 18 11:09:21 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvG3.text, line: 252
// Example: H133E3 ()
print "Example: H133E3";
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);
