Version 5.0 The LEDA User Manual

double x.get double error( )
bigfloat x.get bigfloat error( )
bigfloat x.get lower bound( )
bigfloat x.get upper bound( )
returns the absolute error of the current double approximation
of x, i.e., |x − x.to double( )| ≤ x.get double error( ).
returns the absolute error of the current bigfloat approximation
of x, i.e., |x − x.to bigfloat( )| ≤ x.get bigfloat error( ).
returns the lower bound of the current interval approximation
of x.
returns the upper bound of the current interval approximation
of x.
rational x.high( )
rational x.low( )
returns a rational upper bound of the current interval approximation
of x.
returns a rational lower bound of the current interval approximation
of x.
bool x.possible zero( ) returns true if 0 is in the current interval approximation of x
integer x.separation bound( )
void x.print separation bounds( )
returns the separation bound of x.
prints the different separation bounds.
bool x.is general( ) returns true if the expression defining x contains a ⋄-operator,
false otherwise.
bool x.is rational( ) returns true if the expression is rational, false otherwise.
rational x.to rational( )
returns the rational number given by the expression.
Precondition: is rational( ) has is true.
int x.compare(const real& y)
returns the sign of x-y.
int compare all(const growing array& R, int& j)
compares all elements in R. It returns i such that R[i] = R[j]
and i ≠ j. Precondition: Only two of the elements in R are
equal. [ Experimental ]
int x.sign( ) returns the sign of (the exact value of) x.