FLINT3.7.0-dev

mag_div_lower

Synopsis#include <flint/mag.h>
void mag_div_lower(mag_t res, const mag_t x, const mag_t y)source

Sets res to a lower bound for x / y. Division by zero, and \infty/\infty, give 0.

Guides#

Cite this page

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