FLINT3.7.0-dev
/

qfb_pow_ui, qfb_pow, qfb_pow_with_root

Synopsis#include <flint/qfb.h>
void qfb_pow_ui(qfb_t r, qfb_t f, fmpz_t D, ulong exp)source
void qfb_pow(qfb_t r, qfb_t f, fmpz_t D, fmpz_t exp)source
void qfb_pow_with_root(qfb_t r, qfb_t f, fmpz_t D, fmpz_t exp, fmpz_t L)source

Set rr to the reduced form in the class of fexpf^{\mathit{exp}}, by binary powering with NUDUPL and NUCOMP and a reduction after each step. DD must be the discriminant of ff, which must be primitive. For exponent 0 the result is the principal form and for exponent 1 a copy of ff (not reduced if ff is not). qfb_pow_with_root takes L=⌊∣D∣1/4⌋L = \lfloor |D|^{1/4} \rfloor as an argument instead of computing it. A negative fmpz_t exponent is allowed: the result is then the power −exp-\mathit{exp} of the inverse form (qfb_inverse).

Guides#

Cite this page

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