diff options
author | Tim King <taking@cs.nyu.edu> | 2011-03-05 16:59:13 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-03-05 16:59:13 +0000 |
commit | 042ee6a15455d3f4193d55cbb2d3d18da3e34776 (patch) | |
tree | a65d15272bba1f78070d5f89d59b06febcd75a8f /src | |
parent | f3e75370a69e2d61d0b6eaf04593b600ce98c355 (diff) |
- Made Rational::sgn() function const.
Diffstat (limited to 'src')
-rw-r--r-- | src/util/rational_cln_imp.h | 17 | ||||
-rw-r--r-- | src/util/rational_gmp_imp.h | 2 |
2 files changed, 9 insertions, 10 deletions
diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index d81ad86ab..c05d47175 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -181,16 +181,15 @@ public: } - int sgn() { - cln::cl_RA sign = cln::signum(d_value); - if(sign == 0) - return 0; - else if(sign == -1) - return -1; - else if(sign == 1) + int sgn() const { + if(cln::zerop(d_value)){ + return 0; + }else if(cln::minusp(d_value)){ + return -1; + }else{ + Assert(cln::plusp(d_value)); return 1; - else - Unreachable(); + } } Rational& operator=(const Rational& x){ diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index 976544e7f..7af1b86df 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -166,7 +166,7 @@ public: } - int sgn() { + int sgn() const { return mpq_sgn(d_value.get_mpq_t()); } |