Return to Question

NOTE, September 2017: I also checked the two pairs of forms I found for primitive representations. In both cases, the pair of forms in each genus primitively represent the same numbers up to a large bound. If ever proved, these examples violate Conjecture A on page 237, Regular Positive Ternary Quadratic Forms, J. S. Hsia, Mathematika, volume 28, (1981), pages 231-238.

NOTE, September 2017: I also checked the two pairs of forms I found for primitive representations. In both cases, the pair of forms in each genus primitively represent the same numbers up to a large bound. If ever proved, these examples violate Conjecture A on page 237, Regular Positive Ternary Quadratic Forms, J. S. Hsia, Mathematika, volume 28, (1981), pages 231-238.

NOTE, September 2017: I also checked the two pairs of forms I found for primitive representations. In both cases, the pair of forms in each genus primitively represent the same numbers up to a large bound. If ever proved, these examples violate Conjecture A on page 237, Regular Positive Ternary Quadratic Forms, J. S. Hsia, Mathematika, volume 28, (1981), pages 231-238.

$$ A(x^2 + y^2 + z^2 ) + B (yz + z x + x y), \; \; \; Ax^2 + (2A-B) y^2 + (2A+B) z^2 + 2 B zx. $$

$$ A(x^2 + y^2 + z^2 ) + B (yz + z x + x y), \; \; \; Ax^2 + (2A-B) y^2 + (2A+B) z^2 + 2 B zx. $$ For this one, noticed by Irving Kaplansky, we have discriminant $\Delta = 4A^3 - 3 A B^2 + b^3 = (2A-B)^2 (A+B);$ for this to be positive definite, we need $A > 0$ and $2A > B > -A.$ Given that, the form still might not be "reduced," so it took a while to realize that the different appearances of this were really all the same.