Changeset 0ef842 in git

Timestamp:

Nov 24, 2006, 1:18:28 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

3504d7274c5b65041397e64fd259f10b923a19a4

Parents:

3705d5c995e721d82fb6dad60d586e998ed821ca

Message:

*hannes: optim.


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

Location:

kernel

Files:

• polys.cc (modified) (3 diffs)
• syz1.cc (modified) (2 diffs)

kernel/polys.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: polys.cc,v 1.11 2006-10-05 18:25:10 Singular Exp $ */
+/* $Id: polys.cc,v 1.12 2006-11-24 12:18:27 Singular Exp $ */
 
 /*
@@ -404 +404 @@
   {
     result = q;
-    while ((q!=NULL) && (pGetComp(q)==k))
+    do
     {
       pSetComp(q,0);
@@ -411 +411 @@
       pIter(q);
     }
+    while ((q!=NULL) && (pGetComp(q)==k));
     *p = q;
     pNext(qq) = NULL;

kernel/syz1.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: syz1.cc,v 1.10 2004-11-09 14:55:01 Singular Exp $ */
+/* $Id: syz1.cc,v 1.11 2006-11-24 12:18:28 Singular Exp $ */
 /*
 * ABSTRACT: resolutions
@@ -2030 +2030 @@
       syzstr->resolution = new intvec(syzstr->length+1);
       SRes rP=syzstr->resPairs;
-      (*syzstr->resolution)[0]
-        = si_max(1,(int)idRankFreeModule(syzstr->res[1],
-                                 (syzstr->syRing != NULL ? syzstr->syRing : currRing)));
+      assume(idRankFreeModule(syzstr->res[1],
+                                 (syzstr->syRing != NULL ? syzstr->syRing : currRing))==syzstr->res[1]->rank);
+      (*syzstr->resolution)[0] = syzstr->res[1]->rank;
       while ((l<syzstr->length) && (rP[l]!=NULL))
       {