Name:

prec controls the precision used in numerical computations.

Library names:

void sollya_lib_set_prec_and_print(sollya_obj_t) void sollya_lib_set_prec(sollya_obj_t) sollya_obj_t sollya_lib_get_prec()

Description:

Example 1:

   > display=binary!;
   > prec=50;
   The precision has been set to 50 bits.
   > dirtyinfnorm(exp(x),[1;2]);
   1.110110001110011001001011100011010100110111011011_2 * 2^(2)
   > prec=100;
   The precision has been set to 100 bits.
   > dirtyinfnorm(exp(x),[1;2]);
   1.11011000111001100100101110001101010011011101101011011100110000110011101000111011101000100000011011_2 * 2^(2)
See also: evaluate, diam
Go back to the list of commands