Changeset e72804 in git for libpolys

Timestamp:

Sep 22, 2016, 5:00:08 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0d91221c4a45f7a2621d280d09e628b3e963a60d

Parents:

4ef909357cd2764e39044e78dc5f8f271de19c21

Message:

more rCheckOrdSgn in rComplete

File:

• libpolys/polys/monomials/ring.cc (modified) (8 diffs)

libpolys/polys/monomials/ring.cc

@@ -890 +890 @@
   tmpR.names=names;
   /* ordering *======================================================== */
-  tmpR.OrdSgn=1;
+  tmpR.OrdSgn=0;
   if ((dp_dp==2)
   && (r1->OrdSgn==1)
@@ -1342 +1342 @@
 
   res->N=rVar(r);      /* number of vars */
-  //res->OrdSgn=r->OrdSgn; /* 1 for polynomial rings, -1 otherwise */
 
   res->firstBlockEnds=r->firstBlockEnds;
@@ -1483 +1482 @@
 
   res->N=rVar(r);      /* number of vars */
-  //res->OrdSgn=r->OrdSgn; /* 1 for polynomial rings, -1 otherwise */
 
   res->firstBlockEnds=r->firstBlockEnds;
@@ -1966 +1964 @@
 
   if (r->N == 0) return TRUE;
+
+  if ((r->OrdSgn!=1) && (r->OrdSgn!= -1))
+  {
+    dReportError("missing OrdSgn in %s:%d", fn, l);
+    return FALSE;
+  }
 
 //  omCheckAddrSize(r,sizeof(ip_sring));
@@ -3472 +3476 @@
         rO_WDegree(j,j_bits,r->block0[i],r->block1[i],tmp_ordsgn,tmp_typ[typ_i],
                    r->wvhdl[i]);
+        rCheckOrdSgn(r,i);
         typ_i++;
         break;
@@ -3478 +3483 @@
         rO_WMDegree(j,j_bits,r->block0[i],r->block1[i],tmp_ordsgn,tmp_typ[typ_i],
                    r->wvhdl[i]);
+        rCheckOrdSgn(r,i);
         typ_i++;
         break;
@@ -3508 +3514 @@
             typ_i++;
           }
+          rCheckOrdSgn(r,i);
           break;
         }
@@ -3875 +3882 @@
   }
   // no local var found in 1..N:
-  //r->OrdSgn=1;
+  r->OrdSgn=1;
 }