14 #ifdef USE_CLN_NUMBERS
15 mpq_class toGMP(
const cln::cl_RA& n) {
16 std::stringstream ss1;
18 mpz_class denom(ss1.str());
19 std::stringstream ss2;
21 mpz_class num(ss2.str());
carl is the main namespace for the library.
Interval< Number > quotient(const Interval< Number > &_lhs, const Interval< Number > &_rhs)
Implements the division with remainder.
cln::cl_I get_num(const cln::cl_RA &n)
Extract the numerator from a fraction.
cln::cl_I get_denom(const cln::cl_RA &n)
Extract the denominator from a fraction.