FLINT3.7.0-dev

mag_add_lower, mag_add_ui_lower

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

Set res to a lower bound for x + y.

Guides#

Cite this page

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