## Name:

diam
parameter used in safe algorithms of Sollya and controlling the maximal length of the involved intervals.
## Usage:

diam = width : constant -> void
diam = width ! : constant -> void
diam : constant
## Parameters:

- width represents the maximal relative width of the intervals used

## Description:

- diam is a global variable. Its value represents the maximal width allowed
for intervals involved in safe algorithms of Sollya (namely infnorm,
checkinfnorm, accurateinfnorm, integral, findzeros, supnorm).
- More precisely, diam is relative to the width of the input interval of
the command. For instance, suppose that diam=1e-5: if infnorm is called
on interval [0;1], the maximal width of an interval will be 1e-5. But if it
is called on interval [0;1e-3], the maximal width will be 1e-8.

Go back to the list of commands