Changeset 2bc80b in git

Timestamp:

Oct 20, 2005, 1:51:28 PM (19 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

5aa84dc1798f2f2185933c887dd54e620124615d

Parents:

6588f8085d916f8097ad5a892bfb8eeb9ace2a30

Message:

bricken: slimgb and modules


git-svn-id: file:///usr/local/Singular/svn/trunk@8740 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/tgb.cc (modified) (6 diffs)

kernel/tgb.cc

@@ -5 +5 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: tgb.cc,v 1.43 2005-10-19 16:10:19 Singular Exp $ */
+/* $Id: tgb.cc,v 1.44 2005-10-20 11:51:28 Singular Exp $ */
 /*
 * ABSTRACT: slimgb and F4 implementation
@@ -1150 +1150 @@
   }
   
-  assume(spc==i);
+  assume(spc<=i);
   //now ideal quotient crit
   qsort(nodes,spc,sizeof(sorted_pair_node*),iq_crit);
@@ -2004 +2004 @@
   short_Exps=(long*) omalloc(n*sizeof(long));
   if (F4_mode)
-    S=idInit(n,1);
+    S=idInit(n,I->rank);
   else
-    S=idInit(1,1);
+    S=idInit(1,I->rank);
   strat=new skStrategy;
   strat->syzComp = 0;
@@ -2208 +2208 @@
   //  Print("QlogSize(0) %d, QlogSize(1) %d,QlogSize(-2) %d, QlogSize(5) %d\n", QlogSize(nlInit(0)),QlogSize(nlInit(1)),QlogSize(nlInit(-2)),QlogSize(nlInit(5)));
   
-  
-  
   if (TEST_OPT_PROT)
     if (F4_mode)
       PrintS("F4 Modus \n");
-    
      
   //debug_Ideal=arg_debug_Ideal;
@@ -2225 +2222 @@
   //slimgb_alg* c=(slimgb_alg*) omalloc(sizeof(slimgb_alg));
   slimgb_alg* c=new slimgb_alg(I, F4_mode);
-
-
     
   int i;
@@ -2245 +2240 @@
   }
   //qsort(I->m, IDELEMS(I),sizeof(poly),pLmCmp_func);
+  assume(I->rank==idRankFreeModule(I));
   return(I);
 }