FLINT3.7.0-dev

acb_theta_g2_covariants

Synopsis#include <flint/acb_theta.h>
void acb_theta_g2_covariants(acb_poly_struct * res, const acb_poly_t f, int lead, slong prec)source

Sets the 26 entries of res to the generators of the ring of covariants of binary sextics evaluated at ff (terms of degree above 6 are ignored), or to their leading coefficients if lead is nonzero.

The order and normalisation are: C1,6=fC_{1,6}=f, C2,0=60(f,f)6C_{2,0}= 60(f,f)_6, C2,4=75(f,f)4C_{2,4}= 75(f,f)_4, C2,8=90(f,f)2C_{2,8}= 90(f,f)_2, C3,2=30(f,C2,4)4C_{3,2}= 30(f,C_{2,4})_4, C3,6=30(f,C2,4)2C_{3,6}= 30(f,C_{2,4})_2, C3,8=6(f,C2,4)1C_{3,8}= 6(f,C_{2,4})_1, C3,12=6(f,C2,8)1C_{3,12}= 6 (f,C_{2,8})_1, C4,0=2(C2,4,C2,4)4C_{4,0}= 2 (C_{2,4},C_{2,4})_4, C4,4=30(f,C3,2)2C_{4,4}= 30 (f,C_{3,2})_2, C4,6=6(f,C3,2)1C_{4,6}= 6(f,C_{3,2})_1, C4,10=2(C2,8,C2,4)1C_{4,10}= 2(C_{2,8},C_{2,4})_1, C5,2=(C2,4,C3,2)2C_{5,2}=(C_{2,4},C_{3,2})_2, C5,4=25(C2,4,C3,2)1C_{5,4}=\frac 25 (C_{2,4},C_{3,2})_1, C5,8=2(C2,8,C3,2)1C_{5,8}= 2(C_{2,8},C_{3,2})_1, C6,0=2(C3,2,C3,2)2C_{6,0}= 2(C_{3,2},C_{3,2})_2, C6,6(1)=25(C3,6,C3,2)1C_{6,6}^{(1)}= \frac 25(C_{3,6},C_{3,2})_1, C6,6(2)=83(C3,8,C3,2)2C_{6,6}^{(2)}= \frac 83(C_{3,8},C_{3,2})_2, C7,2=30(f,C3,22)4C_{7,2}= 30(f,C_{3,2}^2)_4, C7,4=12(f,C3,22)3C_{7,4}= 12(f,C_{3,2}^2)_3, C8,2=25(C2,4,C3,22)3C_{8,2}= \frac 25(C_{2,4},C_{3,2}^2)_3, C9,4=4(C3,8,C3,22)4C_{9,4}= 4(C_{3,8},C_{3,2}^2)_4, C10,0=20(f,C3,23)6C_{10,0}= 20(f,C_{3,2}^3)_6, C10,2=65(f,C3,23)5C_{10,2}= \frac 65(f,C_{3,2}^3)_5, C12,2=85(C3,8,C3,23)6C_{12,2}= \frac 85(C_{3,8},C_{3,2}^3)_6, C15,0=130000(C3,8,C3,24)8C_{15,0}= \frac{1}{30000} (C_{3,8},C_{3,2}^4)_8. The factors make the covariants of the generic sextic f=∑aix16−ix2if = \sum a_i x_1^{6-i}x_2^i integral and primitive as polynomials in a0,…,a6,x1,x2a_0,\ldots,a_6,x_1,x_2.

Cite this page

The FLINT team, “acb_theta_g2_covariants (acb_theta.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_theta/acb_theta_g2_covariants.html (generated 2026-11-02).