Changeset 39c40f in git

Timestamp:

Jan 30, 2007, 11:37:54 AM (16 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

d610dcc896491d6f9714007fae5cc5e989d4b349

Parents:

8fa1c206e32447348eb16906cad6434ea56b3b16

Message:

+ removed wrong assumption


git-svn-id: file:///usr/local/Singular/svn/trunk@9783 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.115 2007-01-29 06:37:35 bricken Exp $ */
+/* $Id: tgb.cc,v 1.116 2007-01-30 10:37:54 bricken Exp $ */
 /*
 * ABSTRACT: slimgb and F4 implementation
@@ -3723 +3723 @@
      int ecart;
      if (erg.fromS){
-       assume(pTotaldegree_full(red)<=c->T_deg_full[erg.reduce_by]);
        ecart=c->strat->ecartS[erg.reduce_by];
      } else {