Added Msolve RUR Test

Author: Martin-Helmer

M2/Macaulay2/packages/Msolve/tests.m2

@@ -105,6 +105,17 @@ TEST ///
   assert(eM2 == sub(eMsolve, ring eM2))
 ///
 
+TEST ///
+R=QQ[x,y,z];
+I = ideal {(x^3-z)*(x^2-y)};
+S = ideal {z-2,y-1};
+rur = msolveRUR(I+S);
+p = matrix{{1}};
+assert(apply(rur#"numerator", n->sub(-n,p)) / sub(rur#"denominator",p)=={1,1,2});
+p = matrix{{-1}};
+assert(apply(rur#"numerator", n->sub(-n,p)) / sub(rur#"denominator",p)=={-1,1,2});
+///
+
 TEST ///
   debugLevel=1
   R = QQ[x..z,t]