In the book *Nonlinear Computational Geometry*, Page 208 (or page 15 of the online version on the author's website: <http://www.loria.fr/~petitjea/papers/imaconics.pdf>), Remark 5.1, Petitjean states that


"The joint covariants $Q\_S,Q\_T ,Q\_U$ and $G$ are not algebraically
independent. They satisfy a fundamental syzygy which, when $Q\_S =
Q\_T = 0$, reduces to $\displaystyle G^2 = Q\_U^3.$"


He stated this without a clear reference. He cited something related in Grace and Young's book *The Algebra of Invariants*, a fairly old book. I was only able to find a much older version (1873 instead of the 1908 version cited by Petitjean) and I do not see an identity in the relevant chapter which could be the full version of the syzygy mentioned above. This could however be my inability to read the notation in that book as it is quite alien to me. 


Does anyone have a more modern reference where this syzygy is written down explicitly?



Syzygy between covariants of pairs of ternary quadratic forms
I emailed Professor [Sylvain Petitjean](http://www.loria.fr/~petitjea/) regarding the syzygy, and he replied with a link to Salmon's classical treatise on invariant theory. To state the result, we recall that for a given pair $(A,B)$ of ternary quadratic forms, the action of $\operatorname{GL}\_3(\mathbb{Z})$ on $(A,B)$ yields four invariants $a\_3, a\_2, a\_1, a\_0$, given as the coefficients of the binary cubic form


$$\displaystyle f(x,y) = \det(Ax + By) = a\_3 x^3 + a\_2 x^2 y + a\_1 xy^2 + a\_0 y^3.$$


Then by Salmon (<https://archive.org/details/treatiseonconics00salmuoft>), page 362, one has:


$$\displaystyle G^2 = Q\_U^3 - Q\_U^2(a\_2 Q\_S + a\_1 Q\_T) + Q\_U (a\_0 a\_2 Q\_S^2 + a\_1 a\_3 Q\_T^2) + Q\_U Q\_S Q\_T(a\_2 a\_1 - 3 a\_3 a\_0)$$
$$\displaystyle -a\_0^2 a\_3 Q\_S^3 - a\_0 a\_3^2 Q\_T^3 + a\_0(2a\_3 a\_1 - a\_2^2)Q\_S^2 Q\_T + a\_3(2a\_0 a\_2 - a\_1^2)Q\_S Q\_T^2.$$


