Name:

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

Library names:

void sollya_lib_set_diam_and_print(sollya_obj_t) void sollya_lib_set_diam(sollya_obj_t) sollya_obj_t sollya_lib_get_diam()

Usage:

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

Parameters:

Description:

See also: infnorm, checkinfnorm, accurateinfnorm, integral, findzeros, supnorm
Go back to the list of commands