Changeset ec3d9a in git for libpolys/polys/monomials/ring.cc

Timestamp:

Sep 22, 2015, 7:58:09 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

67e5ab0da2ad921df018e78f9e74488dfa49f81f725efa2b691355a6799c770abbf272ad733020b0

Parents:

43baf487c88de3795e5280940c8769982e610f21

Message:

rAssure_SyzOrder (allow order (c,..) for syzComp orderings)

File:

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

libpolys/polys/monomials/ring.cc

@@ -4379 +4379 @@
 // had already this property
 //
+ring rAssure_SyzOrder(const ring r, BOOLEAN complete)
+{
+  if ( r->order[0] == ringorder_c ) return r;
+  return rAssure_SyzComp(r,complete);
+}
 ring rAssure_SyzComp(const ring r, BOOLEAN complete)
 {
@@ -4429 +4434 @@
 #endif
 
-
 #ifdef HAVE_PLURAL
     ring old_ring = r;
@@ -4458 +4462 @@
 #endif
   }
-
   return res;
 }
@@ -4677 +4680 @@
   if (new_r_1 != new_r && new_r_1 != old_r) rDelete(new_r_1);
 
-   rComplete(new_r, 1);
+  rComplete(new_r, TRUE);
 #ifdef HAVE_PLURAL
-   if (rIsPluralRing(old_r))
-   {
-       if ( nc_rComplete(old_r, new_r, false) ) // no qideal!
-       {
+  if (rIsPluralRing(old_r))
+  {
+    if ( nc_rComplete(old_r, new_r, false) ) // no qideal!
+    {
 # ifndef SING_NDEBUG
-          WarnS("error in nc_rComplete"); // cleanup?      rDelete(res);       return r;  // just go on...?
+      WarnS("error in nc_rComplete"); // cleanup?      rDelete(res);       return r;  // just go on...?
 # endif
-       }
-   }
+    }
+  }
 #endif
 
 ///?    rChangeCurrRing(new_r);
-   if (old_r->qideal != NULL)
-   {
-      new_r->qideal = idrCopyR(old_r->qideal, old_r, new_r);
-   }
+  if (old_r->qideal != NULL)
+  {
+    new_r->qideal = idrCopyR(old_r->qideal, old_r, new_r);
+  }
 
 #ifdef HAVE_PLURAL
-   if( rIsPluralRing(old_r) )
-     if( nc_SetupQuotient(new_r, old_r, true) )
-       {
+  if( rIsPluralRing(old_r) )
+    if( nc_SetupQuotient(new_r, old_r, true) )
+    {
 #ifndef SING_NDEBUG
-          WarnS("error in nc_SetupQuotient"); // cleanup?      rDelete(res);       return r;  // just go on...?
-#endif
-       }
+      WarnS("error in nc_SetupQuotient"); // cleanup?      rDelete(res);       return r;  // just go on...?
+#endif
+    }
 #endif
 
 #ifdef HAVE_PLURAL
-   assume((new_r->qideal==NULL) == (old_r->qideal==NULL));
-   assume(rIsPluralRing(new_r) == rIsPluralRing(old_r));
-   assume(rIsSCA(new_r) == rIsSCA(old_r));
-   assume(ncRingType(new_r) == ncRingType(old_r));
-#endif
-
-   rTest(new_r);
-   rTest(old_r);
-   return new_r;
+  assume((new_r->qideal==NULL) == (old_r->qideal==NULL));
+  assume(rIsPluralRing(new_r) == rIsPluralRing(old_r));
+  assume(rIsSCA(new_r) == rIsSCA(old_r));
+  assume(ncRingType(new_r) == ncRingType(old_r));
+#endif
+
+  rTest(new_r);
+  rTest(old_r);
+  return new_r;
 }