Changeset 070cdff in git

Timestamp:

May 5, 2006, 4:08:48 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

933165be31db0f88135bcfa7c8151c9624bd34c5

Parents:

0c2c223a72899811f47b5463ffae39169ff5cb26

Message:

*bricken: assume fixed


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

File:

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

kernel/tgb.cc

@@ -5 +5 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: tgb.cc,v 1.85 2006-04-27 14:19:31 bricken Exp $ */
+/* $Id: tgb.cc,v 1.86 2006-05-05 14:08:48 Singular Exp $ */
 /*
 * ABSTRACT: slimgb and F4 implementation
@@ -2627 +2627 @@
   sorted_pair_node* a=*((sorted_pair_node**)ap);
   sorted_pair_node* b=*((sorted_pair_node**)bp);
-  assume(a->i>a->j);
-  assume(b->i>b->j);
+  assume((a->i>a->j) || (a->i < 0));
+  assume((b->i>b->j) || (b->i < 0));
   if (a->deg<b->deg) return -1;
   if (a->deg>b->deg) return 1;