"Source: Text/Geometry/CrvCon.text";
"Line: 723";
"Date: Tue Jan 21 11:00:40 2020";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvCon.text, line: 723
// Example: H127E6 ()
print "Example: H127E6";
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);
