Changeset 1da2a13 in git

Timestamp:

Sep 8, 2011, 7:41:29 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1450c9e719fe8c5b3cefb712a0bb457fdd4c2776

Parents:

419b39aef0431cdb83fb38ecb5a712c000ef90e6

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-09-08 19:41:29+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:12:36+01:00

Message:

FIX: some rAssure_A_B() should not require an (BOOLEAN complete) argument!

Files:

• kernel/ideals.cc (modified) (1 diff)
• kernel/syz1.cc (modified) (2 diffs)
• kernel/syz2.cc (modified) (1 diff)
• kernel/syz3.cc (modified) (2 diffs)
• libpolys/polys/monomials/ring.cc (modified) (1 diff)
• libpolys/polys/monomials/ring.h (modified) (1 diff)

kernel/ideals.cc

@@ -747 +747 @@
   )
   {
-    ring dp_C_ring = rAssure_dp_C(syz_ring, TRUE); // will do rChangeCurrRing later
+    ring dp_C_ring = rAssure_dp_C(syz_ring); // will do rChangeCurrRing later
     if (dp_C_ring != syz_ring)
     {

kernel/syz1.cc

@@ -2467 +2467 @@
 
   // Creare dp,S ring and change to it
-  syzstr->syRing = rAssure_dp_S(origR, TRUE);
+  syzstr->syRing = rAssure_dp_S(origR);
   assume(syzstr->syRing != origR); // why?
   rChangeCurrRing(syzstr->syRing);
@@ -2608 +2608 @@
 
   // Creare dp,S ring and change to it
-  syzstr->syRing = rAssure_dp_S(origR, TRUE);
+  syzstr->syRing = rAssure_dp_S(origR);
   assume(syzstr->syRing != origR);
   assume(syzstr->syRing->typ[1].ord_typ == ro_syzcomp);

kernel/syz2.cc

@@ -981 +981 @@
   
   // Creare dp,S ring and change to it
-  syzstr->syRing = rAssure_dp_C(origR, TRUE);
+  syzstr->syRing = rAssure_dp_C(origR);
   rChangeCurrRing(syzstr->syRing);
 

kernel/syz3.cc

@@ -1766 +1766 @@
   syStrategy syzstr=(syStrategy)omAlloc0(sizeof(ssyStrategy));
 /*--- changes to a Cdp-ring ----------------------------*/
-  syzstr->syRing = rAssure_C_dp(origR, TRUE); rChangeCurrRing(syzstr->syRing);
+  syzstr->syRing = rAssure_C_dp(origR); rChangeCurrRing(syzstr->syRing);
 /*--- initializes the data structures---------------*/
   syzstr->length = *length = (syzstr->syRing->N)+2;
@@ -1878 +1878 @@
           int len=0,reg=0;
           intvec *w=NULL;
-          ring dp_C_ring = rAssure_dp_C(currRing, TRUE); rChangeCurrRing(dp_C_ring);       
+          ring dp_C_ring = rAssure_dp_C(currRing); rChangeCurrRing(dp_C_ring);     
           initial = idrMoveR_NoSort(initial, syzstr->syRing, dp_C_ring);
           resolvente res = sySchreyerResolvente(initial,-1,&len,TRUE, TRUE);

libpolys/polys/monomials/ring.cc

@@ -4770 +4770 @@
 ring rAssure_dp_S(const ring r)
 {
-  return rAssure_Global(ringorder_dp, ringorder_S,r);
+  return rAssure_Global(ringorder_dp, ringorder_S, r);
 }
 
 ring rAssure_dp_C(const ring r)
 {
-  return rAssure_Global(ringorder_dp, ringorder_C,r);
+  return rAssure_Global(ringorder_dp, ringorder_C, r);
 }
 
 ring rAssure_C_dp(const ring r)
 {
-  return rAssure_Global(ringorder_C, ringorder_dp,r);
+  return rAssure_Global(ringorder_C, ringorder_dp, r);
 }
 

libpolys/polys/monomials/ring.h

@@ -642 +642 @@
 
 // Ring Manipulations
-ring   rAssure_HasComp(const ring r, BOOLEAN complete = TRUE);
+ring   rAssure_HasComp(const ring r);
 ring   rAssure_SyzComp(const ring r, BOOLEAN complete = TRUE);
-ring   rAssure_dp_S(const ring r, BOOLEAN complete = TRUE);
-ring   rAssure_dp_C(const ring r, BOOLEAN complete = TRUE);
-ring   rAssure_C_dp(const ring r, BOOLEAN complete = TRUE);
+
+ring   rAssure_dp_S(const ring r);
+ring   rAssure_dp_C(const ring r);
+ring   rAssure_C_dp(const ring r);
+
 /// makes sure that c/C ordering is last ordering
 ring   rAssure_CompLastBlock(const ring r, BOOLEAN complete = TRUE);