Global GiNaCRA::RealAlgebraicNumberIR::refine (RealAlgebraicNumberSettings::RefinementStrategy strategy=RealAlgebraicNumberSettings::DEFAULT_REFINEMENTSTRATEGY): constant
Global GiNaCRA::RealAlgebraicNumberIR::refineAvoiding (numeric n): constant