"Source: Text/Geometry/CrvCon.text";
"Line: 723";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvCon.text, line: 723
// Example: H130E6 ()
print "Example: H130E6";
ei := GetEchoInput();
SetEchoInput(true);
P2<x,y,z> := ProjectiveSpace(RationalField(), 2);
a := 234;
b := -33709;
c := 127;
C := Conic(P2, a*x^2 + b*y^2 + c*z^2);
HasRationalPoint(C);
assert not $1;
fac := Factorization(Integers()!Discriminant(C));
fac;
[ NormResidueSymbol(-a/c, -b/c, p[1]) : p in fac ];
BadPrimes(C);
SetEchoInput(ei);
