FLINT3.7.0-dev
/

qqbar_fmpz_poly_symmetric_composed_op

Synopsis#include <flint/qqbar.h>
void qqbar_fmpz_poly_symmetric_composed_op(fmpz_poly_t res, const fmpz_poly_t A, int op)source

For A of degree d≥2d \ge 2 with roots a1,…,ada_1, \ldots, a_d, sets res to a nonzero integer multiple of the polynomial of degree d(d−1)/2d(d-1)/2 with roots ai+aja_i + a_j (op = 0), (ai−aj)2(a_i - a_j)^2 (op = 1) or aiaja_i a_j (op = 2) for 1≤i<j≤d1 \le i < j \le d. For two distinct roots xx, yy of an irreducible A (such as complex conjugates), this annihilates x+yx + y, (x−y)2(x - y)^2 or xyx y with half the degree of the polynomial from qqbar_fmpz_poly_composed_op.

Cite this page

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