`psl2z_is_one, psl2z_equal, psl2z_is_correct`

Synopsis#include <flint/acb_modular.h>

int psl2z_is_one(const psl2z_t g)source

int psl2z_equal(const psl2z_t f, const psl2z_t g)source

int psl2z_is_correct(const psl2z_t g)source

Return whether g is the identity, whether f and g are equal, and whether g is a valid element in canonical form (ad - bc = 1, c \ge 0, and d > 0 if c = 0).

Cite this page

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

@misc{flint-doc-acb-modular-psl2z-is-one,
  author       = {{The FLINT team}},
  title        = {{psl2z\_is\_one, psl2z\_equal, psl2z\_is\_correct (acb\_modular.h)}},
  howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
  year         = {2026},
  url          = {https://flintlib.org/doc/acb_modular/psl2z_is_one.html},
  note         = {Generated 2026-10-20}
}

Edit this page · PDF version · Built with fdoc from f12f9f517b