Changeset 5c0183 in git for dyn_modules

Timestamp:

Feb 17, 2012, 4:44:11 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

e4f491963f9660b7e75c9817b20efcc8c5fae6fa

Parents:

98c9729eb3e7d8dbe8cbfa1932442589173c8270

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-02-17 16:44:11+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-02-23 20:35:10+01:00

Message:

fix the induced Schreyer ordering

add: a test due to Chrisian
add: enable detailed debug for the ordering
fix: bugs in induced Schreyer ordering(!?)
fix: the ordering (due to negative offset!)

Location:

dyn_modules/syzextra

Files:

• ederc.tst (added)
• mod_main.cc (modified) (4 diffs)

dyn_modules/syzextra/mod_main.cc

@@ -111 +111 @@
   {
     const ring r = (const ring)h->Data();
-    rWrite(r);
+    rWrite(r, TRUE);
     PrintLn();
 #ifdef RDEBUG
@@ -681 +681 @@
   const int posIS = rGetISPos(0, r);
 
-  if( (!isSyz) && (-1 == posIS) )
-  {
-    WerrorS("`idPrepare(<...>)` called on incompatible ring (not created by 'MakeSyzCompOrdering' or 'MakeInducedSchreyerOrdering'!)");
-    return TRUE;
-  }
 
   if ( !( (h!=NULL) && (h->Typ()==MODUL_CMD) && (h->Data() != NULL) ) )
@@ -706 +701 @@
   } else
   {
+      if( (!isSyz) && (-1 == posIS) )
+      {
+        WerrorS("`idPrepare(<...>)` called on incompatible ring (not created by 'MakeSyzCompOrdering' or 'MakeInducedSchreyerOrdering'!)");
+        return TRUE;
+      }
+
     if( isSyz )
       iComp = rGetCurrSyzLimit(r);
@@ -711 +712 @@
       iComp = id_RankFreeModule(r->typ[posIS].data.is.F, r); // ;
   }
+  
+  assume(iComp >= 0);