Changeset a8d371 in git

Timestamp:

Feb 26, 2014, 3:07:04 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')

Children:

8f26085572bdbfac4561a9322ebb192165ecda95

Parents:

8968c1705d85c26166eb14a273dabcdba2291bd0

Message:

improve OrdSgn detection (tr.577)

File:

• libpolys/polys/monomials/ring.cc (modified) (1 diff)

libpolys/polys/monomials/ring.cc

@@ -3764 +3764 @@
 static void rCheckOrdSgn(ring r,int i/*current block*/)
 { // set r->OrdSgn
-  if ( r->OrdSgn==1)
-  {
-    int oo=-1;
-    int jj;
-    for(jj=i-1;jj>=0;jj--)
-    {
-      if(((r->order[jj]==ringorder_a)
-        ||(r->order[jj]==ringorder_aa)
-        ||(r->order[jj]==ringorder_a64))
-      &&(r->block0[jj]<=r->block0[i])
-      &&(r->block1[jj]>=r->block1[i]))
-      { oo=1; break;}
+  int jj;
+  int oo=-1;
+  for(jj=i-1;jj>=0;jj--)
+  {
+    if(((r->order[jj]==ringorder_a)
+      ||(r->order[jj]==ringorder_aa)
+      ||(r->order[jj]==ringorder_a64))
+    &&(r->block0[jj]<=r->block0[i])
+    &&(r->block1[jj]>=r->block1[i]))
+    {
+      int res=1;
+      if (r->order[jj]!=ringorder_a64)
+      {
+        for(int j=r->block1[jj]-r->block0[jj]; j>=0;j--)
+        {
+          if(r->wvhdl[jj][j]<=0) { res=-1; break;}
+        }
+      }
+      oo=res;
     }
     r->OrdSgn=oo;