"Source: Text/Geometry/CrvCon.text";
"Line: 205";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvCon.text, line: 205
// Example: H130E1 ()
print "Example: H130E1";
ei := GetEchoInput();
SetEchoInput(true);
P2<x,y,z> := ProjectivePlane(Rationals());
C0 := Curve(P2, x^2 + 3*x*y + 2*y^2 - z^2);
C0;
bool, C1 := IsConic(C0);
C1;
AmbientSpace(C0) eq AmbientSpace(C1);
assert $1;
DefiningIdeal(C0) eq DefiningIdeal(C1);
assert $1;
Type(C0), Type(C1);
SetEchoInput(ei);
