Changeset 268ece in git

Timestamp:

Dec 10, 2009, 3:33:39 PM (13 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

b54a393fcb8e823c662951c5a6219096fb8a6800

Parents:

32c11ff616c40bb7c3d5c756479b0507e505f330

Message:

liftstd(a,b,c): track 174

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

Files:

• Singular/ChangeLog (modified) (1 diff)
• kernel/kstd1.cc (modified) (6 diffs)
• kernel/kutil.cc (modified) (1 diff)

Singular/ChangeLog

@@ -2 +2 @@
 - adaption to svn
 - new command: farey
+- extended: liftstd (also computes syzygies) (track 174)
 - test for basering over Q for chinrem/farey
 - (some) memory leaks fixed in fast_map (track 183)

kernel/kstd1.cc

@@ -2082 +2082 @@
   }
 
-
   kStrategy strat=new skStrategy;
   strat->syzComp = syzComp;
   strat->ak = si_max(idRankFreeModule(F),pMaxComp(p));
-
-
-
   poly res;
 
@@ -2101 +2097 @@
     p_Delete(&pp, currRing);
 #endif
-
   return res;
 }
@@ -2128 +2123 @@
 #endif
 
-
   if ((idIs0(F))&&(Q==NULL))
   {
@@ -2135 +2129 @@
       return pp;
 #endif
-
     return idCopy(p); /*F+Q=0*/
   }
@@ -2143 +2136 @@
   strat->ak = si_max(idRankFreeModule(F),idRankFreeModule(p));
   strat->ak = si_max(strat->ak,(int)F->rank);
-
 
   if (pOrdSgn==-1)
@@ -2247 +2239 @@
   }
   delete(strat);
-
 #ifdef HAVE_PLURAL
   if( tempF != F )
     id_Delete( &tempF, currRing);
 #endif
-
   return shdl;
 }

kernel/kutil.cc

@@ -5986 +5986 @@
     {
       if ((r->m[l]!=NULL)
-      && (strat->syzComp>0)
-      && (pGetComp(r->m[l])<=strat->syzComp))
+      //&& (strat->syzComp>0)
+      //&& (pGetComp(r->m[l])<=strat->syzComp)
+      )
       {
         for(q=IDELEMS(Q)-1; q>=0;q--)