Ejemplos de mpq::get_numerator en C++ (Cpp)

Ejemplo n.º 1

Archivo: mpq.cpp Proyecto: dumganhar/lean-osx

mpz ceil(mpq const & a) {
    if (a.is_integer())
        return a.get_numerator();
    mpz r;
    mpz_tdiv_q(mpq::zval(r), mpq_numref(a.m_val), mpq_denref(a.m_val));
    if (a.is_pos())
        ++r;
    return r;
}

Ejemplo n.º 2

Archivo: mpq.cpp Proyecto: dumganhar/lean-osx

mpz floor(mpq const & a) {
    if (a.is_integer())
        return a.get_numerator();
    mpz r;
    mpz_tdiv_q(mpq::zval(r), mpq_numref(a.m_val), mpq_denref(a.m_val));
    if (a.is_neg())
        --r;
    return r;
}