Changeset f5d749 in git for Singular/p_kBucketSetLm__Template.cc

Timestamp:

Dec 5, 2000, 2:01:11 PM (23 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

e6243c52793c81123253d462d4029d506b6c7456

Parents:

9f9b9a1a665602bf82b5e271e8cc596d26f25203

Message:

* update


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

File:

• Singular/p_kBucketSetLm__Template.cc (modified) (2 diffs)

Singular/p_kBucketSetLm__Template.cc

@@ -7 +7 @@
  *  Author:  obachman (Olaf Bachmann)
  *  Created: 8/00
- *  Version: $Id: p_kBucketSetLm__Template.cc,v 1.1 2000-11-28 11:50:56 obachman Exp $
+ *  Version: $Id: p_kBucketSetLm__Template.cc,v 1.2 2000-12-05 13:01:11 obachman Exp $
  *******************************************************************/
 
@@ -29 +29 @@
       {
         p =  bucket->buckets[j];
-        if (j == 0) goto Greater;
+        if (j == 0)
+        {
+          if (p != NULL) goto Greater;
+          j = i;
+          goto Continue;
+        }
+        assume(p != NULL);
         p_MemCmp(bucket->buckets[i]->exp, p->exp, length, ordsgn, goto Equal, goto Greater, goto Continue);
 
         Greater:
         {
-          if (j > 0 && p != NULL && n_IsZero(pGetCoeff(p), r))
+          if (n_IsZero(pGetCoeff(p), r))
           {
             n_Delete(&pGetCoeff(p), r);