FCSimplex branch merge

1 files changed, 16 insertions, 1 deletions

diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h
index 0916b523a..02ccc273c 100644
--- a/src/util/rational_gmp_imp.h
+++ b/src/util/rational_gmp_imp.h
@@ -156,7 +156,6 @@ public:
   }
   ~Rational() {}
 
-
   /**
    * Returns the value of numerator of the Rational.
    * Note that this makes a deep copy of the numerator.
@@ -173,6 +172,13 @@ public:
     return Integer(d_value.get_den());
   }
 
+  /** Return an exact rational for a double d. */
+  static Rational fromDouble(double d){
+    Rational q;
+    mpq_set_d(q.d_value.get_mpq_t(), d);
+    return q;
+  }
+
   /**
    * Get a double representation of this Rational, which is
    * approximate: truncation may occur, overflow may result in
@@ -280,6 +286,10 @@ public:
     d_value += y.d_value;
     return (*this);
   }
+  Rational& operator-=(const Rational& y){
+    d_value -= y.d_value;
+    return (*this);
+  }
 
   Rational& operator*=(const Rational& y){
     d_value *= y.d_value;
@@ -311,6 +321,11 @@ public:
     return numeratorHash xor denominatorHash;
   }
 
+  uint32_t complexity() const {
+    uint32_t numLen = getNumerator().length();
+    uint32_t denLen = getDenominator().length();
+    return  numLen + denLen;
+  }
 };/* class Rational */
 
 struct RationalHashFunction {