Changeset 56fba1 in git

Timestamp:

Sep 24, 2008, 5:55:19 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

f679fd27a3e8d821296a7149de795f39f137d7b9

Parents:

6e118cfc638c2d2df210d0e4348f906f504f4b14

Message:

*hannes: check used compoments for hilb-std


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

File:

• kernel/khstd.cc (modified) (3 diffs)

kernel/khstd.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: khstd.cc,v 1.3 2006-09-21 16:02:20 Singular Exp $ */
+/* $Id: khstd.cc,v 1.4 2008-09-24 15:55:19 Singular Exp $ */
 /*
 * ABSTRACT:utils for hilbert driven kStd
@@ -32 +32 @@
 *   - compute the Hilbert series newhilb from S
 *     (hilb is the final Hilbert series)
+*   - in module case: check that all comp up to strat->ak are used
 *   - compute the eledeg from newhilb-hilb for the first degree deg with
 *     newhilb-hilb != 0
@@ -73 +74 @@
         else // we have newhilb = hilb
         {
+          if (strat->ak>0)
+          {
+            char *used_comp=(char*)omAlloc0(strat->ak+1);
+            int i;
+            for(i=strat->sl;i>0;i--)
+              used_comp[pGetComp(strat->S[i])]='\1';
+            for(i=strat->ak;i>0;i--)
+            {
+              if(used_comp[i]=='\0')
+              {
+                omFree((ADDRESS)used_comp);
+                delete newhilb;
+                return;
+              }
+            }
+            omFree((ADDRESS)used_comp);
+          }
           while (strat->Ll>=0)
           {