Changeset 6e9b7d in git

Timestamp:

Sep 22, 2014, 5:33:59 PM (10 years ago)

Author:

Jakob Kröker <kroeker@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

46f37cb57098799d8399fc704c5b3ca2020ca0c1

Parents:

0e8dab27bf2f0f78deb06b2627bb3f13ab41e7c5

Message:

renamed Noether::Test to Noether::TestLastVarIsInGenericPos

File:

• Singular/LIB/noether.lib (modified) (13 diffs)

Singular/LIB/noether.lib

@@ -308 +308 @@
 
 ////////////////////////////////////////////////////////////////////////////////////
-proc Test (ideal i)
-"USAGE:   Test (i); i a monomial ideal,
+proc TestLastVarIsInGenericPos (ideal i)
+"USAGE:   TestLastVarIsInGenericPos (i); i a monomial ideal,
 RETURN:  1 if the last variable is in generic position for i and 0 otherwise.
 THEORY:  The last variable is in generic position if the quotient of the ideal
@@ -374 +374 @@
     return();
   }
-  if (Test(I) == 1 )
+  if (TestLastVarIsInGenericPos(I) == 1 )
   {
     dbprint(2,"sat(i)=" + string(maxdeg1(K)) + " and the time of this computation: " + string(rtimer-time) + "/100sec.");
@@ -403 +403 @@
       return();
     }
-    if (Test(I) == 1 )
+    if (TestLastVarIsInGenericPos(I) == 1 )
     {
       dbprint(2,"sat(i)=" + string(maxdeg1(K)) + " and the time of this computation: " + string(rtimer-time) + "/100sec.");
@@ -469 +469 @@
     return();
   }
-  if (Test(I) == 1 )
+  if (TestLastVarIsInGenericPos(I) == 1 )
   {
     dbprint(2,"msat(i)=" + string(maxdeg1(K)) + " and the time of this computation: " + string(rtimer-time) + "/100sec.");
@@ -507 +507 @@
       return();
     }
-    if (Test(lsbi1) == 1 )
+    if (TestLastVarIsInGenericPos(lsbi1) == 1 )
     {
       dbprint(2,"msat(i)=" + string(maxdeg1(K)) + " and the time of this computation: " + string(rtimer-time) + "/100sec.");
@@ -576 +576 @@
   else
   {
-    if (Test(I) == 1)
+    if (TestLastVarIsInGenericPos(I) == 1)
     {
       h=maxdeg1(K);
@@ -594 +594 @@
           h=0;break;
         }
-        if (Test(I) == 1 )
+        if (TestLastVarIsInGenericPos(I) == 1 )
         {
           h=maxdeg1(K);break;
@@ -620 +620 @@
     else
     {
-      if (Test(I) == 1)
+      if (TestLastVarIsInGenericPos(I) == 1)
       {
         H=maxdeg1(K);
@@ -638 +638 @@
             H=0;break;
           }
-          if (Test(I) == 1 )
+          if (TestLastVarIsInGenericPos(I) == 1 )
           {
             H=maxdeg1(K);break;
@@ -798 +798 @@
   else
   {
-    if (Test(I) == 1)
+    if (TestLastVarIsInGenericPos(I) == 1)
     {
       h=maxdeg1(K);
@@ -827 +827 @@
           h=0;break;
         }
-        if (Test(I) == 1 )
+        if (TestLastVarIsInGenericPos(I) == 1 )
         {
           h=maxdeg1(K);break;
@@ -865 +865 @@
     else
     {
-      if (Test(I) == 1)
+      if (TestLastVarIsInGenericPos(I) == 1)
       {
         H=maxdeg1(K);
@@ -895 +895 @@
             H=0;break;
           }
-          if (Test(I) == 1 )
+          if (TestLastVarIsInGenericPos(I) == 1 )
           {
             H=maxdeg1(K);break;