Changeset 4c8d61 in git

Timestamp:

Jan 12, 2006, 3:12:41 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '2fa36c576e6a4ddbb1093b43c7f8e9835e17e52a')

Children:

9ce72aecbd5700bb291ae22e4875d6cd55c525ae

Parents:

81b5ccbea580cf9ad07afa719bcbae778a040bd4

Message:

*bricken: fixed bug for simle content


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

File:

• kernel/kbuckets.cc (modified) (5 diffs)

kernel/kbuckets.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kbuckets.cc,v 1.14 2006-01-10 11:00:46 Singular Exp $ */
+/* $Id: kbuckets.cc,v 1.15 2006-01-12 14:12:41 bricken Exp $ */
 
 #include "mod2.h"
@@ -1047 +1047 @@
   //if (TEST_OPT_PROT)
   //    PrintS("CCCCCCCCCCCCC");
-  for (i=0;i<=MAX_BUCKET;i++)
+  for (i=MAX_BUCKET;i>=0;i--)
   {
     if (i==0)
@@ -1056 +1056 @@
     {
       assume(bucket->coef[i]!=NULL);
+      assume(!(n_IsZero(pGetCoeff(bucket->coef[i]),r)));
+      
+      
       //in this way it should crash on programming errors, yeah
-      number temp=nGcd(coef, pGetCoeff(bucket->buckets[i]),r);
+      number temp=nGcd(coef, pGetCoeff(bucket->coef[i]),r);
       n_Delete(&coef,r );
       coef=temp;
@@ -1065 +1068 @@
         return;
       }
+      assume(!(n_IsZero(coef,r)));
     }
   }
@@ -1071 +1075 @@
   for(i=0;i<=MAX_BUCKET;i++)
   {
+    
     if (bucket->buckets[i]!=NULL)
     {
+      assume(!(n_IsZero(coef,r)));
       assume(bucket->coef[i]!=NULL);
       number lc=p_GetCoeff(bucket->coef[i],r);
       p_SetCoeff(bucket->coef[i], n_IntDiv(lc,coef,r),r);
+      assume(!(n_IsZero(p_GetCoeff(bucket->coef[i],r),r)));
     }
   }