mag_sub, mag_sub_lower
Synopsis
#include <flint/mag.h>To bound x - y from above, x should itself be an upper bound and y a lower bound; mag_sub_lower is typically used to bound a denominator such as 1 - |z| away from zero.
Cite this page
The FLINT team, “mag_sub, mag_sub_lower (mag.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mag/mag_sub.html (generated 2026-10-20).
@misc{flint-doc-mag-mag-sub,
author = {{The FLINT team}},
title = {{mag\_sub, mag\_sub\_lower (mag.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mag/mag_sub.html},
note = {Generated 2026-10-20}
}