Changeset df5439f in git for kernel/kbuckets.cc

Timestamp:

Feb 13, 2006, 10:59:55 AM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4ecd428fe6c62039d3583323547e0225fd95709d

Parents:

a1a595066c8c873a1064a5914ffb2cf6b582cf27

Message:

*bricken: some plural assumes


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

File:

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

kernel/kbuckets.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kbuckets.cc,v 1.19 2006-02-02 15:12:18 bricken Exp $ */
+/* $Id: kbuckets.cc,v 1.20 2006-02-13 09:59:55 bricken Exp $ */
 
 #include "mod2.h"
@@ -23 +23 @@
   { if (B->coef[I]!=NULL)                                              \
     {                                                                  \
+      assume(p_IsConstant(b->Coef[i],bucket->bucket->ring));           \
       B->buckets[I]=p_Mult_q(B->buckets[I],B->coef[I],B->bucket_ring); \
       B->coef[I]=NULL;                                                 \
@@ -756 +757 @@
 void kBucket_Plus_mm_Mult_pp(kBucket_pt bucket, poly m, poly p, int l)
 {
+    assume((!rIsPluralRing(bucket->bucket_ring))||p_IsConstant(m, bucket->bucket_ring)); 
   assume(l <= 0 || pLength(p) == l);
   int i, l1;
@@ -1036 +1038 @@
                       poly spNoether)
 {
+  assume((!rIsPluralRing(bucket->bucket_ring))||p_LmEqual(p1,kBucketGetLm(bucket), bucket->bucket_ring)); 
   assume(p1 != NULL &&
          p_DivisibleBy(p1,  kBucketGetLm(bucket), bucket->bucket_ring));