Sollya User's Manual

Name:

sup gives the upper bound of an interval.

Library name:

sollya_obj_t sollya_lib_sup(sollya_obj_t)

Usage:

sup(I) : range -> constant sup(x) : constant -> constant

Parameters:

I is an interval.
x is a real number.

Description:

Returns the upper bound of the interval I. Each bound of an interval has its own precision, so this command is exact, even if the current precision is too small to represent the bound.
When called on a real number x, sup behaves like the identity.

Example 1:

   > sup([1;3]);
   3
   > sup(5);
   5

Example 2:

   > display=binary!;
   > I=[0; 0.111110000011111_2];
   > sup(I);
   1.11110000011111_2 * 2^(-1)
   > prec=12!;
   > sup(I);
   1.11110000011111_2 * 2^(-1)