Sollya User's Manual

Name:

roundingwarnings global variable controlling whether or not a warning is displayed when roundings occur.

Library names:

void sollya_lib_set_roundingwarnings_and_print(sollya_obj_t) void sollya_lib_set_roundingwarnings(sollya_obj_t) sollya_obj_t sollya_lib_get_roundingwarnings()

Usage:

roundingwarnings = activation value : on|off -> void roundingwarnings = activation value ! : on|off -> void roundingwarnings : on|off

Parameters:

activation value controls if warnings should be shown or not

Description:

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.

Example 1:

   > verbosity=1!;
   > roundingwarnings = on;
   Rounding warning mode has been activated.
   > exp(0.1);
   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.
   1.1051709180756476248117078264902466682245471947375
   > roundingwarnings = off;
   Rounding warning mode has been deactivated.
   > exp(0.1);
   1.1051709180756476248117078264902466682245471947375