FLINT3.7.0-dev

arb_nonnegative_part

Synopsis#include <flint/arb.h>
void arb_nonnegative_part(arb_t res, const arb_t x)source

Sets res to a ball containing the intersection of x with [0, +\infty]. A nonnegative x is copied; a finite x containing negative numbers gives a ball [r/2 \pm r/2] with no negative points; a negative x gives 0.

Cite this page

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