Changeset 84b0a1b in git for kernel/tgb.cc

Timestamp:

Mar 28, 2006, 7:19:49 AM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0f23743f400b3b16c7f124793cca20b80066d4a2

Parents:

6e52cf42d495d29342493fd15eac9facbaba9c88

Message:

*bricken: test ideal to be zero moved up


git-svn-id: file:///usr/local/Singular/svn/trunk@9043 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.81 2006-03-17 10:48:23 Singular Exp $ */
+/* $Id: tgb.cc,v 1.82 2006-03-28 05:19:49 bricken Exp $ */
 /*
 * ABSTRACT: slimgb and F4 implementation
@@ -2401 +2401 @@
   ideal I=idCompactify(arg_I);
    int i;
+  if (idIs0(I)) return I;
   for(i=0;i<IDELEMS(I);i++)
   {
-    if (I->m[i]!=NULL) simplify_poly(I->m[i],currRing);
-  }
-  if (idIs0(I)) return I;
+    assume(I->m[i]==NULL);
+    simplify_poly(I->m[i],currRing);
+  }
+  
 
   qsort(I->m,IDELEMS(I),sizeof(poly),poly_crit);