Changeset a8b44d in git for kernel/rmodulon.cc

Timestamp:

Mar 21, 2011, 3:55:47 PM (12 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')

Children:

9cd697732c2adbda992d49885d226fc966966251

Parents:

f4a33e267c2b5be378ef1fc5426935bee8f1e4d9

Message:

changed div check in Z/m, and command simplify over rings

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

File:

• kernel/rmodulon.cc (modified) (1 diff)

kernel/rmodulon.cc

@@ -270 +270 @@
 }
 
-BOOLEAN nrnDivBy (number a,number b)
+BOOLEAN nrnDivBy (number a, number b)
 {
   if (a == NULL)
-    return mpz_divisible_p(currRing->nrnModul, (int_number) b);
+    return mpz_divisible_p(currRing->nrnModul, (int_number)b);
   else
-    return mpz_divisible_p((int_number) a, (int_number) b);
-  /*
-  number bs = nrnGcd(a, b, currRing);
-  mpz_tdiv_q((int_number) bs, (int_number) b, (int_number) bs);
-  bool res = nrnIsUnit(bs);
-  nrnDelete(&bs, NULL);
-  return res;
-  */
+  { /* b divides a iff b/gcd(a, b) is a unit in the given ring: */
+    number n = nrnGcd(a, b, currRing);
+    mpz_tdiv_q((int_number)n, (int_number)b, (int_number)n);
+    bool result = nrnIsUnit(n);
+    nrnDelete(&n, NULL);
+    return result;
+  }
 }