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)sourceFor A of degree d \ge 2 with roots a_1, \ldots, a_d, sets res to a nonzero integer multiple of the polynomial of degree d(d-1)/2 with roots a_i + a_j (op = 0), (a_i - a_j)^2 (op = 1) or a_i a_j (op = 2) for 1 \le i < j \le d. For two distinct roots x, y of an irreducible A (such as complex conjugates), this annihilates x + y, (x - y)^2 or x 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-10-20).
@misc{flint-doc-qqbar-qqbar-fmpz-poly-symmetric-composed-op,
author = {{The FLINT team}},
title = {{qqbar\_fmpz\_poly\_symmetric\_composed\_op (qqbar.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/qqbar/qqbar_fmpz_poly_symmetric_composed_op.html},
note = {Generated 2026-10-20}
}