`fmpzi_canonical_unit_i_pow`

Synopsis#include <flint/fmpzi.h>

slong fmpzi_canonical_unit_i_pow(const fmpzi_t x)source

Returns $k \in \{0, 1, 2, 3\}$ such that $i^k x$ is the canonical associate of $x$ : the one with positive real part $a$ and imaginary part $b$ in $(-a, a]$ (for $x = 0$ , $k = 0$ ).

Cite this page

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

@misc{flint-doc-fmpzi-fmpzi-canonical-unit-i-pow,
  author       = {{The FLINT team}},
  title        = {{fmpzi\_canonical\_unit\_i\_pow (fmpzi.h)}},
  howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
  year         = {2026},
  url          = {https://flintlib.org/doc/fmpzi/fmpzi_canonical_unit_i_pow.html},
  note         = {Generated 2026-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95