Version 5.0 The LEDA User Manual

double x.to double( ) returns the double value next to x (i.e. rounding mode
is always TO NEAREST ).
double
x.to double(bool& is double)
as above, but also returns in is double whether the
conversion was exact.
double x.to double(double& abs err, rounding modes m = TO NEAREST )
double x.to double(rounding modes m)
as above, but with more flexibility: The parameter m
specifies the rounding mode. For the returned value
d, we have |x − d| ≤ abs err. (abs err is zero iff the
conversion is exact and the returned value is finite.)
as above, but does not return an error bound.
rational x.to rational( ) converts x into a number of type rational.
sz t
sz t
x.get significant length(void)
x.get effective significant length(void)
returns the length of the significant of x.
returns the length of the significant of x without trailing
zeros.
integer x.get exponent(void) returns the exponent of x.
integer
x.get significant(void)
returns the significant of x.
sz t bigfloat :: set precision(sz t p)
sz t bigfloat :: get precision( )
sz t bigfloat :: set output precision(sz t d)
sz t bigfloat :: set input precision(sz t p)
sets the global arithmetic precision to p binary digits
and returns the old value
returns the currently active global arithmetic precision
sets the precision of bigfloat output to d decimal digits
and returns the old value
sets the precision of bigfloat input to p binary digits
and returns the old value
rounding modes bigfloat :: set rounding mode(rounding modes m)
sets the global rounding mode to m and returns the
old rounding mode