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