Documentation

Data structure containing the CMag pointer

Data structure containing the CArb pointer

Arf rounding

Specifies that the result of an operation should be rounded to the nearest representable number in the direction towards zero.

Specifies that the result of an operation should be rounded to the nearest representable number in the direction away from zero.

Specifies that the result of an operation should be rounded to the nearest representable number in the direction towards minus infinity.

Specifies that the result of an operation should be rounded to the nearest representable number in the direction towards plus infinity.

Specifies that the result of an operation should be rounded to the nearest representable number, rounding to even if there is a tie between two values.

If passed as the precision parameter to a function, indicates that no rounding is to be performed. Warning: use of this value is unsafe in general. It must only be passed as input under the following two conditions:

• The operation in question can inherently be viewed as an exact operation in \(\mathbb{Z}[\tfrac{1}{2}]\) for all possible inputs, provided that the precision is large enough. Examples include addition, multiplication, conversion from integer types to arbitrary-precision floating-point types, and evaluation of some integer-valued functions.
• The exact result of the operation will certainly fit in memory. Note that, for example, adding two numbers whose exponents are far apart can easily produce an exact result that is far too large to store in memory.

The typical use case is to work with small integer values, double precision constants, and the like. It is also useful when writing test code. If in doubt, simply try with some convenient high precision instead of using this special value, and check that the result is exact.

Data structure containing the CArb pointer

string options

Default print option

If arb_str_more is added to flags, more (possibly incorrect) digits may be printed

If arb_str_no_radius is added to flags, the radius is not included in the output if at least 1 digit of the midpoint can be printed.

By adding a multiple m of arb_str_condense to flags, strings of more than three times m consecutive digits are condensed, only printing the leading and trailing m digits along with brackets indicating the number of digits omitted (useful when computing values to extremely high precision).

Data structure containing the CArb pointer