FLINT3.7.0-dev
/

mag_mul_lower, mag_mul_ui_lower, mag_mul_fmpz_lower

Synopsis#include <flint/mag.h>
void mag_mul_lower(mag_t res, const mag_t x, const mag_t y)source
void mag_mul_ui_lower(mag_t res, const mag_t x, ulong y)source
void mag_mul_fmpz_lower(mag_t res, const mag_t x, const fmpz_t y)source

Set res to a lower bound for xy. 0 \cdot \infty gives 0.

Cite this page

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