Sollya User's Manual

Name:

verbosity global variable controlling the amount of information displayed by commands.

Library names:

void sollya_lib_set_verbosity_and_print(sollya_obj_t) void sollya_lib_set_verbosity(sollya_obj_t) sollya_obj_t sollya_lib_get_verbosity()

Usage:

verbosity = n : integer -> void verbosity = n ! : integer -> void verbosity : integer

Parameters:

n controls the amount of information to be displayed

Description:

verbosity accepts any integer value. At level 0, commands do not display anything on standard output. Note that very critical information may however be displayed on standard error.
Default level is 1. It displays important information such as warnings when roundings happen.
For higher levels more information is displayed depending on the command.

Example 1:

   > verbosity=0!;
   > 1.2+"toto";
   error
   > verbosity=1!;
   > 1.2+"toto";
   Warning: Rounding occurred when converting the constant "1.2" to floating-point with 165 bits.
   If safe computation is needed, try to increase the precision.
   Warning: at least one of the given expressions or a subexpression is not correctly typed
   or its evaluation has failed because of some error on a side-effect.
   error
   > verbosity=2!;
   > 1.2+"toto";
   Warning: Rounding occurred when converting the constant "1.2" to floating-point with 165 bits.
   If safe computation is needed, try to increase the precision.
   Warning: at least one of the given expressions or a subexpression is not correctly typed
   or its evaluation has failed because of some error on a side-effect.
   Information: the expression or a partial evaluation of it has been the following:
   (1.2) + ("toto")
   Warning: For at least 1 of the constants previously displayed in decimal, rounding has happened.
   error

Go back to the list of commands