"Source: Text/Geometry/CrvEll.text";
"Line: 589";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 589
// Example: H131E6 ()
print "Example: H131E6";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve([1/2, 1/2, 1, 1/3, 4]);
E;
IE := IntegralModel(E);
IE;
ME := MinimalModel(IE);
ME;
WE := WeierstrassModel(E);
WE;
IWE := IntegralModel(WE);
IWE;
IsIsomorphic(IWE, ME);
assert $1;
SetEchoInput(ei);
