diff options
Diffstat (limited to 'src/util/rational_gmp_imp.h')
-rw-r--r-- | src/util/rational_gmp_imp.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index 751c8f137..ef0720263 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -173,6 +173,14 @@ public: return sgn() == 0; } + bool isOne() const { + return mpq_cmp_si(d_value.get_mpq_t(), 1, 1) == 0; + } + + bool isNegativeOne() const { + return mpq_cmp_si(d_value.get_mpq_t(), -1, 1) == 0; + } + Rational abs() const { if(sgn() < 0){ return -(*this); |