global variable controlling whether or not a warning is displayed when roundings occur.
- activation value controls if warnings should be shown or not
- roundingwarnings is a global variable. When its value is on, warnings are
emitted in appropriate verbosity modes (see verbosity) when roundings
occur. When its value is off, these warnings are suppressed.
- This mode depends on a verbosity of at least 1. See
verbosity for more details.
- Default is on when the standard input is a terminal and
off when Sollya input is read from a file.
> roundingwarnings = on;
Rounding warning mode has been activated.
Warning: Rounding occurred when converting the constant "0.1" to floating-point with 165 bits.
If safe computation is needed, try to increase the precision.
Warning: rounding has happened. The value displayed is a faithful rounding to 165 bits of the true result.
Warning: For at least 1 of the constants displayed in decimal, rounding has happened.
> roundingwarnings = off;
Rounding warning mode has been deactivated.