Changeset 4ecd42 in git for kernel/kbuckets.cc

Timestamp:

Feb 13, 2006, 12:24:16 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

27fef2babf54089447202fc5e5c43588c22c4d49

Parents:

df5439febd329d621422fecc48c8754af6b498c2

Message:

*bricken: more plural assumes


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

File:

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

kernel/kbuckets.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kbuckets.cc,v 1.20 2006-02-13 09:59:55 bricken Exp $ */
+/* $Id: kbuckets.cc,v 1.21 2006-02-13 11:24:16 bricken Exp $ */
 
 #include "mod2.h"
@@ -162 +162 @@
     }
   }
+  assume(bucket->buckets_used<=MAX_BUCKET);
   return TRUE;
 }
@@ -336 +337 @@
 int kBucketCanonicalize(kBucket_pt bucket)
 {
+  assume(bucket->buckets_used<=MAX_BUCKET);
   MULTIPLY_BUCKET(bucket,1);
   kbTest(bucket);