01 / Curve
Enter rational coefficients for y² + a1xy + a3y = x³ + a2x² + a4x + a6.
02 / Real locus
Plot points are approximate. Exact rational points appear below.
03 / Check a point
04 / Find rational points
Search reduced x = p/q with |p| ≤ the numerator bound and 1 ≤ q ≤ the denominator bound. For each x, both rational y values are checked exactly. This is a bounded search, not a complete point list.