Changeset 824c47 in git for libpolys

Timestamp:

Aug 10, 2012, 2:40:20 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

e11ed0be7258f8a5789019dc86eb3edff31cfaf5

Parents:

560a3d597aa358cad2980bc2770d9ffb138c28c6

Message:

chg: mod/div for bigint

File:

• libpolys/coeffs/longrat.cc (modified) (2 diffs)

libpolys/coeffs/longrat.cc

@@ -744 +744 @@
     long aa=SR_TO_INT(a);
     long bb=SR_TO_INT(b);
-    return INT_TO_SR(aa/bb);
+    return INT_TO_SR((aa-(aa%bb))/bb);
   }
   if (SR_HDL(a) & SR_INT)
@@ -803 +803 @@
   if (SR_HDL(a) & SR_HDL(b) & SR_INT)
   {
-    if ((long)a>0L)
-    {
-      if ((long)b>0L)
-        return INT_TO_SR(SR_TO_INT(a)%SR_TO_INT(b));
-      else
-        return INT_TO_SR(SR_TO_INT(a)%(-SR_TO_INT(b)));
-    }
-    else
-    {
-      if ((long)b>0L)
-      {
-        long i=(-SR_TO_INT(a))%SR_TO_INT(b);
-        if ( i != 0L ) i = (SR_TO_INT(b))-i;
-        return INT_TO_SR(i);
-      }
-      else
-      {
-        long i=(-SR_TO_INT(a))%(-SR_TO_INT(b));
-        if ( i != 0L ) i = (-SR_TO_INT(b))-i;
-        return INT_TO_SR(i);
-      }
-    }
+    return INT_TO_SR(SR_TO_INT(a)%SR_TO_INT(b));
   }
   if (SR_HDL(a) & SR_INT)
   {
-    /* a is a small and b is a large int: -> a or (a+b) or (a-b) */
-    if ((long)a<0L)
-    {
-      if (mpz_isNeg(b->z))
-        return nlSub(a,b,r);
-      /*else*/
-        return nlAdd(a,b,r);
-    }
-    /*else*/
-      return a;
+    /* a is a small and b is a large int: -> a */
+    return a;
   }
   number bb=NULL;