FLINT3.7.0-dev

_nf_elem_norm, nf_elem_norm

Synopsis#include <flint/nf_elem.h>
void _nf_elem_norm(fmpz_t rnum, fmpz_t rden, const nf_elem_t a, const nf_t nf)source
void nf_elem_norm(fmpq_t res, const nf_elem_t a, const nf_t nf)source

Set the rational number rnum/rden, respectively res, to the absolute norm N_{K/\mathbf{Q}}(a), the product of the conjugates of a. It is computed as \operatorname{Res}(f, a) divided by the appropriate power of the leading coefficient of f; the resultant of the primitive parts is computed by _fmpz_poly_resultant, which uses the multimodular algorithm for large inputs and a pseudo-remainder (subresultant-type) Euclidean algorithm otherwise (Norm).

Guides#

Cite this page

The FLINT team, “_nf_elem_norm, nf_elem_norm (nf_elem.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/nf_elem/_nf_elem_norm.html (generated 2026-10-20).