Changeset acd2e0 in git

Timestamp:

Feb 15, 2018, 10:32:42 AM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d4ff07b1ff82ac42ad104abc1b075ce4f177ac87

Parents:

a47398ba02d0e746a0a39361fc53a3688abeeedc

Message:

fix: special case: return empty list

File:

• Singular/LIB/grobcov.lib (modified) (2 diffs)

Singular/LIB/grobcov.lib

@@ -7026 +7026 @@
        about the values of the variables determined
        for every value of the parameters.
+       If the propsition is false for every values of the
+       parameters, then the emply list is returned.
 OPTIONS: An option is a pair of arguments: string,
        integer. To modify the default options, pairs
@@ -7134 +7136 @@
   {
     list L;
-    L[1]=1;
+    // L[1]=1;
   }
   else
   {
     list L=Levels(CompLev(G2));
-    if(rep==0)
+    if(rep==0 and size(L)>0)
     {
       setring P;