Changeset a2466f in git for kernel/ringgb.cc

Timestamp:

Jun 12, 2006, 2:07:12 AM (17 years ago)

Author:

Oliver Wienand <wienand@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

c4c516319dd7380d23251f74e2a664cdb5664571

Parents:

30f22c1ce9b7faf89c70d82bed9c82dd6d7b4979

Message:

[oliver] @hannes: Please check changes to kutil.cc(pDivComp).

kutil.cc:
* pDivComp now distinguishes between equal and incomparable monoms
* changes to chainCritRing, in progress

ringgb.*:
* changes to testGB, now tests also inclusion of I

polys.cc:
* just doc


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

File:

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

kernel/ringgb.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: ringgb.cc,v 1.10 2006-06-09 23:17:04 wienand Exp $ */
+/* $Id: ringgb.cc,v 1.11 2006-06-12 00:07:12 wienand Exp $ */
 /*
 * ABSTRACT: ringgb interface
@@ -192 +192 @@
 }
 
-int testGB(ideal GI) {
+int testGB(ideal I, ideal GI) {
   poly f, g, h;
   int i = 0;
   int j = 0;
-  for (i = 0; i < IDELEMS(GI) - 1; i++) {
+  for (i = 0; i < IDELEMS(I); i++) {
+    if (ringNF(I->m[i], GI, currRing) != NULL) {
+      Print("Not reduced to zero from I: ");
+      wrp(I->m[i]);
+      Print(" --> ");
+      wrp(ringNF(I->m[i], GI, currRing));
+      PrintLn();
+      return(0);
+    }
+    pDelete(&h);
+  }
+  Print("I");
+  for (i = 0; i < IDELEMS(GI); i++) {
     Print("-");
     for (j = i + 1; j < IDELEMS(GI); j++) {
@@ -203 +215 @@
       h = plain_spoly(f, g);
       if (ringNF(h, GI, currRing) != NULL) {
+        Print("spoly(");
         wrp(GI->m[i]);
-        PrintLn();
+        Print(", ");
         wrp(GI->m[j]);
-        PrintLn();
+        Print(") = ");
         wrp(h);
-        PrintLn();
+        Print(" --> ");
         wrp(ringNF(h, GI, currRing));
         PrintLn();