Add promoters from RRi and CCi to quotient rings

Author: d-torrance

M2/Macaulay2/e/polyquotient.hpp

@@ -75,6 +75,18 @@ class PolyRingQuotient : public PolyRingFlat
     normal_form(result);
     return ret;
   }
+  virtual bool from_Interval(gmp_RRi a, ring_elem &result) const
+  {
+    bool ret = numerR_->from_Interval(a, result);
+    normal_form(result);
+    return ret;
+  }
+  virtual bool from_ComplexInterval(gmp_CCi a, ring_elem &result) const
+  {
+    bool ret = numerR_->from_ComplexInterval(a, result);
+    normal_form(result);
+    return ret;
+  }
   virtual bool from_double(double a, ring_elem &result) const
   {
     bool ret = numerR_->from_double(a, result);

M2/Macaulay2/tests/normal/RRi.m2

@@ -127,6 +127,13 @@ f = interval(1,3)*x + interval(3,5)*y + interval(5,7)*z
 use ring midpoint f
 assert(midpoint f == 2*x + 4*y + 6*z)
 
+R = RRi[x]/x^2
+assert(promote(toRRi 2, R) == 2)
+
+R = CCi[x]/x^2
+assert(promote(toRRi 2, R) == 2)
+assert(promote(toCCi 2, R) == 2)
+
 --- TO FIX: ---------------------------------------------
 
 -*