Changeset bb9a5a in git

Timestamp:

Apr 19, 2007, 4:17:58 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

6b589f923a8179fd15e8d38488a17a06492d9f2a

Parents:

1134b5b8cb28b554f8a08701cf30c20def285743

Message:

*hannes: nlIntDiv simplified


git-svn-id: file:///usr/local/Singular/svn/trunk@9981 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/longrat.cc (modified) (3 diffs)

kernel/longrat.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: longrat.cc,v 1.16 2007-04-12 16:58:38 Singular Exp $ */
+/* $Id: longrat.cc,v 1.17 2007-04-19 14:17:58 Singular Exp $ */
 /*
 * ABSTRACT: computation with long rational numbers (Hubert Grassmann)
@@ -623 +623 @@
       return nlRInit(1<<28);
     }
-    /* consider the signs of a and b:
-    *  + + -> u=a+b-1
-    *  + - -> u=a-b-1
-    *  - + -> u=a-b+1
-    *  - - -> u=a+b+1
-    */
     int aa=SR_TO_INT(a);
     int bb=SR_TO_INT(b);
-    if (aa>0)
-    {
-      if (bb>0)
-        return INT_TO_SR((aa+bb-1)/bb);
-      else
-        return INT_TO_SR((aa-bb-1)/bb);
-    }
-    else
-    {
-      if (bb>0)
-      {
-        return INT_TO_SR((aa-bb+1)/bb);
-      }
-      else
-      {
-        return INT_TO_SR((aa+bb+1)/bb);
-      }
-    }
+    return INT_TO_SR(aa/bb);
   }
   if (SR_HDL(a) & SR_INT)
@@ -676 +653 @@
   assume(b->s==3);
   mpz_init_set(&u->z,&a->z);
-  /* consider the signs of a and b:
-  *  + + -> u=a+b-1
-  *  + - -> u=a-b-1
-  *  - + -> u=a-b+1
-  *  - - -> u=a+b+1
-  */
-  if (mpz_isNeg(&a->z))
-  {
-    if (mpz_isNeg(&b->z))
-    {
-      mpz_add(&u->z,&u->z,&b->z);
-    }
-    else
-    {
-      mpz_sub(&u->z,&u->z,&b->z);
-    }
-    mpz_add_ui(&u->z,&u->z,1);
-  }
-  else
-  {
-    if (mpz_isNeg(&b->z))
-    {
-      mpz_sub(&u->z,&u->z,&b->z);
-    }
-    else
-    {
-      mpz_add(&u->z,&u->z,&b->z);
-    }
-    mpz_sub_ui(&u->z,&u->z,1);
-  }
   /* u=u/b */
   u->s = 3;