Sollya User's Manual

Name:

prec controls the precision used in numerical computations.

Description:

prec is a global variable. Its value represents the precision of the floating-point format used in numerical computations.
Many commands try to adapt their working precision in order to have approximately n correct bits in output, where n is the value of prec.

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)