Skip package tests that have been known to fail on

Bug: https://github.com/Macaulay2/M2/issues/1064
Bug: https://github.com/Macaulay2/M2/issues/1392
Bug: https://github.com/Macaulay2/M2/issues/1456
Bug: https://github.com/Macaulay2/M2/issues/1463
Bug: https://github.com/Macaulay2/M2/issues/1539
Bug: https://github.com/Macaulay2/M2/issues/1563
Bug: https://github.com/Macaulay2/M2/issues/1579
Bug: https://github.com/Macaulay2/M2/issues/1581
Bug: https://github.com/Macaulay2/M2/issues/1697
Bug: https://github.com/Macaulay2/M2/issues/1707
Bug: https://github.com/Macaulay2/M2/issues/1728
Bug: https://github.com/Macaulay2/M2/issues/1742
Bug: https://github.com/Macaulay2/M2/issues/1745
Bug: https://github.com/Macaulay2/M2/issues/1746
Bug: https://github.com/Macaulay2/M2/issues/1747
Bug: https://github.com/Macaulay2/M2/issues/1903
Bug: https://github.com/Macaulay2/M2/issues/1968
Bug: https://github.com/Macaulay2/M2/issues/1984
Bug: https://github.com/Macaulay2/M2/issues/2119
Bug: https://github.com/Macaulay2/M2/issues/2162
Bug: https://github.com/Macaulay2/M2/issues/2183
Bug: https://github.com/Macaulay2/M2/issues/2205
Bug: https://github.com/Macaulay2/M2/issues/2206
Bug: https://github.com/Macaulay2/M2/issues/2319
Last-Update: 2022-04-28

various architectures.

Gbp-Pq: Name skip-failing-package-tests.patch

diff --git a/M2/Macaulay2/m2/testing.m2 b/M2/Macaulay2/m2/testing.m2
index c23b1e72ea807fee769a0a5c23344c3ba94d596f..a01083a009555b37a6630b75b796d845fc5d0dd7 100644 (file)
--- a/M2/Macaulay2/m2/testing.m2
+++ b/M2/Macaulay2/m2/testing.m2
@@ -60,6 +60,14 @@ captureTestResult := (desc, teststring, pkg, usermode) -> (
     if match("no-check-flag", teststring) then (
        checkmsg("skipping", desc);
        return true);
+    if (m := regex("(?<=no-check-architecture:)[^(\\n]*", teststring)) =!= null
+    then (
+       badarchs := apply(separate(", ", substring(m#0, teststring)),
+           s -> replace("^\\s*|\\s*$", "", s));
+       if member(version#"architecture", badarchs) then (
+           checkmsg("skipping", desc);
+           return true));
+
     -- TODO: remove this when capture uses ArgQ
     if usermode === not noinitfile then
     -- try capturing in the same process

diff --git a/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2 b/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2
index 3d9c9200cb1730eb656b3bd35aaa918821bf2c38..fd5e6ead3a7bd1cc8ef3def189ba409b71284cf7 100644 (file)
--- a/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2
+++ b/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2
@@ -727,6 +727,7 @@ TEST ///
 ///
 
 TEST ///
+-- no-check-architecture: powerpc64le (#2119)
 -*
   restart
   debug needsPackage "AssociativeAlgebras"
@@ -1134,6 +1135,7 @@ BUG ///
 ///
 
 TEST ///
+-- no-check-flag #1903
 -- testing kernels
 -*
   restart
@@ -1171,6 +1173,7 @@ assert(alpha(preim) == alpha(z_1^2*z_2^3*z_3))
 ///
 
 TEST ///
+-- no-check-architecture: powerpc64le (#2119)
 -- testing kernels
 -*
   restart

diff --git a/M2/Macaulay2/packages/Binomials.m2 b/M2/Macaulay2/packages/Binomials.m2
index 8d853a02734aca69ac0cd8bd2b4493a6b3cf3eec..8b06ab9cfc36b121dd3baaf8d9fe9dd484a42b28 100644 (file)
--- a/M2/Macaulay2/packages/Binomials.m2
+++ b/M2/Macaulay2/packages/Binomials.m2
@@ -1923,6 +1923,7 @@ assert (intersect bpd == sub(I,ring bpd#0))
 ///
 
 TEST ///
+-- no-check-flag #1742
 R = QQ[c,d,x,y,z,w];
 I = ideal(x^3*d^2*w-c*z^2,x^5*y^2-w^7,w^3-z^8,z^2-d*w*x^7)
 time bpd = binomialPrimaryDecomposition (I,Verbose=>false);

diff --git a/M2/Macaulay2/packages/CharacteristicClasses.m2 b/M2/Macaulay2/packages/CharacteristicClasses.m2
index 7d736a598ccbe40dc7db937da7fbff6851a8837a..2c4f135c3d77f76acb118be73ef9e4c24c2f492e 100644 (file)
--- a/M2/Macaulay2/packages/CharacteristicClasses.m2
+++ b/M2/Macaulay2/packages/CharacteristicClasses.m2
@@ -2488,6 +2488,7 @@ TEST ///
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
 *-
@@ -2501,6 +2502,7 @@ TEST ///
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
 *-
@@ -2521,6 +2523,7 @@ TEST ///
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
    installPackage "CharacteristicClasses"

diff --git a/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2 b/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2
index be6f1829e35a3bc8876147db18f27a062518d6cb..896805027f22985289b1b860e6e7f09224b7ff8f 100644 (file)
--- a/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2
+++ b/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2
@@ -180,6 +180,7 @@ assert(member(F,Y) and (not member(H,Y)))
 ///
 
 TEST /// -- singularLocus
+-- no-check-flag #1581
 X10 = coincidentRootLocus(toList(10:1),ZZ/101,Variable=>x)
 A10 = {{},{{10}},{{10}},{{9,1}},{{10}},{{7,3},{8,2},{9,1}},{{8,1,1}},{{10}},{{6,4},{7,3},{9,1}},{{8,2}},{{6,2,2},{6,3,1},{7,2,1},{8,1,1}},{{7,1,1,1}},{},{{5,5},{6,4},{9,1}},{{5,5},{7,3},{8,2}},{{5,4,1},{6,3,1},{8,1,1}},{{5,3,2},{6,2,2},{7,2,1}},{{5,2,2,1},{5,3,1,1},{6,2,1,1},{7,1,1,1}},{{5,5},{6,1,1,1,1}},{{6,4}},{{5,4,1}},{{7,3}},{{4,3,3},{4,4,2},{5,3,2},{5,4,1},{6,3,1},{7,2,1}},{{4,3,3},{4,4,1,1},{5,3,1,1},{7,1,1,1}},{{4,4,2},{6,2,2}},{{4,2,2,2},{4,3,2,1},{4,4,1,1},{5,2,2,1},{6,2,1,1}},{{4,2,2,1,1},{4,3,1,1,1},{4,4,2},{5,2,1,1,1},{6,1,1,1,1}},{{4,4,1,1},{5,1,1,1,1,1}},{{4,3,3}},{{5,3,2}},{{3,3,2,2},{3,3,3,1},{4,3,2,1},{5,3,1,1}},{{3,3,3,1},{4,3,1,1,1}},{{3,3,2,2},{4,2,2,2},{5,2,2,1}},{{3,2,2,2,1},{3,3,2,1,1},{3,3,2,2},{4,2,2,1,1},{5,2,1,1,1}},{{3,2,2,1,1,1},{3,3,1,1,1,1},{3,3,2,1,1},{4,2,1,1,1,1},{5,1,1,1,1,1}},{{3,3,1,1,1,1},{4,1,1,1,1,1,1}},{},{{2,2,2,2,2},{3,2,2,2,1}},{{2,2,2,2,1,1},{3,2,2,1,1,1},{4,4,2}},{{2,2,2,1,1,1,1},{3,2,1,1,1,1,1},{4,4,1,1}},{{2,2,1,1,1,1,1,1},{3,1,1,1,1,1,1,1}},{}}
 assert(sort apply(apply(subsets X10,singularLocus),L -> sort apply(L,partition)) === sort apply(A10,sort))

diff --git a/M2/Macaulay2/packages/DeterminantalRepresentations.m2 b/M2/Macaulay2/packages/DeterminantalRepresentations.m2
index 0fc30a098a48d698dfdba73032eb082d336fe22f..52db81a4f561cbe8d3deefe08ab15f914927aad5 100644 (file)
--- a/M2/Macaulay2/packages/DeterminantalRepresentations.m2
+++ b/M2/Macaulay2/packages/DeterminantalRepresentations.m2
@@ -1305,6 +1305,7 @@ undocumented {
 -- TESTS
 
 TEST /// -- Quadratic case: over QQ, RR, CC
+-- no-check-flag #1746
 S = QQ[x1,x2,x3]
 f = 1 - 8*x1*x2 - 4*x1*x3 - 100*x2^2 - 12*x2*x3 - x3^2 - 5*x1^2
 M = first detRep(f, Tolerance => 1e-10)
@@ -1517,6 +1518,7 @@ assert(isOrthogonal(O, Tolerance=>1e-5) and isDoublyStochastic A and clean(1e-8,
 ///
 
 TEST /// -- cholesky, randomPSD
+-- no-check-flag #1745
 eps = 1e-15
 A = randomPSD 5
 E = eigenvectors(A, Hermitian => true)

diff --git a/M2/Macaulay2/packages/DiffAlg.m2 b/M2/Macaulay2/packages/DiffAlg.m2
index 4f9d4c19718c369f171dfa82f8016fd86bb1e525..7c004969712e91ead20b9441fac07c4c00c00321 100644 (file)
--- a/M2/Macaulay2/packages/DiffAlg.m2
+++ b/M2/Macaulay2/packages/DiffAlg.m2
@@ -1309,6 +1309,7 @@ assert( (w ^ (diff w))#"f" == 0)
 ///
 
 TEST ///
+-- no-check-flag #1728
 w = random newForm(3,2,2,"a")
 h = newForm(3,1,1,"b")
 L = genKer(w^(diff h) + h ^ (diff w), h)
@@ -1316,6 +1317,7 @@ assert( (w^(diff (L_0)) + (L_0) ^ (diff w))#"f" == 0)
 ///
 
 TEST ///
+-- no-check-flags #1728
 w = random newForm(3,2,2,"a")
 h = newForm(3,1,1,"b")
 L = genKer(w^(diff h) + h ^ (diff w), h)

diff --git a/M2/Macaulay2/packages/Divisor.m2 b/M2/Macaulay2/packages/Divisor.m2
index f67a86c01835c24b7afb3036892d25de2ea308a3..b2eab2f1f367e01e47a53f8a4f3cd1bf1b51aa0e 100644 (file)
--- a/M2/Macaulay2/packages/Divisor.m2
+++ b/M2/Macaulay2/packages/Divisor.m2
@@ -4324,6 +4324,7 @@ assert( (not instance(toRWeilDivisor(zeroDivisor(R)), WeilDivisor)) and (instanc
 ///
 
 TEST /// --check #11, test functoriality for a finite map
+-- no-check-flag #1742
 R = QQ[x,y,z,w]/ideal(z^2-y*w,y*z-x*w,y^2-x*z);
 T = QQ[a,b];
 h = map(T, R, {a^3, a^2*b, a*b^2, b^3}); --this is the natural inclusion map

diff --git a/M2/Macaulay2/packages/Dmodules/DHom.m2 b/M2/Macaulay2/packages/Dmodules/DHom.m2
index 17f00b02706cc42021ae431806ef9c004713a63c..d4d0d208d35b65d15a697cdd60735dee1cdade42 100644 (file)
--- a/M2/Macaulay2/packages/Dmodules/DHom.m2
+++ b/M2/Macaulay2/packages/Dmodules/DHom.m2
@@ -871,6 +871,7 @@ compareSpans (List, List) := (list1, list2) -> (
 
 
 TEST ///
+-- no-check-flag #1747
 -- TESTS TO WRITE (exported symbols);
 --    PolyExt Ideal
 --    PolyExt Module

diff --git a/M2/Macaulay2/packages/EngineTests/GB.Test.Mathic.m2 b/M2/Macaulay2/packages/EngineTests/GB.Test.Mathic.m2
index 55741f1c32e86a0d8776c3a7bec53dd8893edc8a..18f382846666418a3078e66a5e959fc0ec63ff01 100644 (file)
--- a/M2/Macaulay2/packages/EngineTests/GB.Test.Mathic.m2
+++ b/M2/Macaulay2/packages/EngineTests/GB.Test.Mathic.m2
@@ -159,6 +159,7 @@ TEST ///
 ///
 
 TEST ///
+-- no-check-flag #2162
   R1 = ZZ/32003[w,x,y,z,MonomialOrder => Lex]
   J1 = ideal"
     -2w2+9wx+8x2+9wy+9xy+6y2-7wz-3xz-7yz-6z2-4w+8x+4y+8z+2,

diff --git a/M2/Macaulay2/packages/EngineTests/Res.f4.m2 b/M2/Macaulay2/packages/EngineTests/Res.f4.m2
index ee8b0f835be2b041eb6e0c21ae8b393d132c34f7..008d14bd12b0c67a9fac7bdd42da3f39bb2da2cc 100644 (file)
--- a/M2/Macaulay2/packages/EngineTests/Res.f4.m2
+++ b/M2/Macaulay2/packages/EngineTests/Res.f4.m2
@@ -553,6 +553,7 @@ TEST ///
 ///
 
 TEST ///
+-- no-check-flag #2205
   setRandomSeed "10"
   needsPackage "BGG"
   S = ZZ/101[x_0..x_5] -- P^5

diff --git a/M2/Macaulay2/packages/FunctionFieldDesingularization.m2 b/M2/Macaulay2/packages/FunctionFieldDesingularization.m2
index c389425e8028e3b7261ddda978238c9c7701bd77..d4d37ffd966b09ac470a7fe4933b86c398cfd3bf 100644 (file)
--- a/M2/Macaulay2/packages/FunctionFieldDesingularization.m2
+++ b/M2/Macaulay2/packages/FunctionFieldDesingularization.m2
@@ -749,6 +749,7 @@ time tree := arcs(b0,e0,n0,fout);
      assert(#tree#0==8)
 ///
 TEST ///
+-- no-check-flag #1742
      fout := openOut "/dev/null"
         F := ZZ/2
         d := 3

diff --git a/M2/Macaulay2/packages/GroebnerWalk.m2 b/M2/Macaulay2/packages/GroebnerWalk.m2
index 030419040322851b51df70835fa65b8858876718..cd71a9fb2fd522af71d032eded5fc7e6c817e7bb 100644 (file)
--- a/M2/Macaulay2/packages/GroebnerWalk.m2
+++ b/M2/Macaulay2/packages/GroebnerWalk.m2
@@ -726,6 +726,7 @@ assert(getWalkTrace() == 2)
 ///
 
 TEST /// -- groebnerWalk
+-- no-check-flag #1563
 R1 = QQ[x,y,z, MonomialOrder=>Weights=>{1,1,10}]
 I1 = ideal(y^2-x, z^3-x)
 R2 = QQ[x,y,z, MonomialOrder=>Weights=>{10,1,1}]

diff --git a/M2/Macaulay2/packages/IntegralClosure.m2 b/M2/Macaulay2/packages/IntegralClosure.m2
index cda85d63f1c6d28057246f0427ba5a3e58b9c6b2..5a92139a3bda8c6f7c32f4aefbc837c8be737182 100644 (file)
--- a/M2/Macaulay2/packages/IntegralClosure.m2
+++ b/M2/Macaulay2/packages/IntegralClosure.m2
@@ -2820,6 +2820,7 @@ TEST ///
 --huneke2
 TEST ///
 -*
+  no-check-flag #2162
   restart
   loadPackage("IntegralClosure", Reload => true)
 *-

diff --git a/M2/Macaulay2/packages/K3Surfaces.m2 b/M2/Macaulay2/packages/K3Surfaces.m2
index 69072a99c858bd28661f4acfd5d4f599e8c71c5e..87635c09ee72cccd464d68eba0b7848fd123d154 100644 (file)
--- a/M2/Macaulay2/packages/K3Surfaces.m2
+++ b/M2/Macaulay2/packages/K3Surfaces.m2
@@ -1033,6 +1033,7 @@ for g in {3,4,5,6,7,8,9} do (
 ///
 
 TEST ///
+-- no-check-flag #2319
 for g from 3 to 12 do (
     for d from 3 to 5 do (
         <<"(g,d,n) = "<<(g,d,0)<<endl;
@@ -1079,6 +1080,7 @@ for g in {3,4,5,6,7,8,9} do (
 ///
 
 TEST /// -- randomMukaiThreefoldContainingLine
+-- no-check-flag #2319
 debug K3Surfaces;
 K = ZZ/333331;
 setRandomSeed 123456789
@@ -1095,6 +1097,7 @@ for g in {3,4,5,6,7,8,9} do (
 ///
 
 TEST ///
+-- no-check-flag #2319
 for g from 3 to 7 do (
     setRandomSeed 123456789;
     <<"(g,d,n) = "<<(g,2,-2)<<endl;
@@ -1109,6 +1112,7 @@ for g from 3 to 7 do (
 ///
 
 TEST ///
+-- no-check-flag #2319
 for g in {3,4,5,6,7,8,9} do (<<"g = "<<g<<endl; time K3 g); 
 ///;
 

diff --git a/M2/Macaulay2/packages/LLLBases.m2 b/M2/Macaulay2/packages/LLLBases.m2
index 5f25c7e4c07bb4c4ae605ffe977852c68362053d..3c20dbbb38111d9bcc9964c5c92d98a508b81ca3 100644 (file)
--- a/M2/Macaulay2/packages/LLLBases.m2
+++ b/M2/Macaulay2/packages/LLLBases.m2
@@ -1303,6 +1303,7 @@ TEST
 -- kernelLLL ------
 -------------------
 TEST ///
+-- no-check-flag #1697
 
     time m1 = map(ZZ^10, ZZ^10, (j,i) -> (i+1)^3 * (j+1)^2 + i + j + 2)
     time m = syz m1

diff --git a/M2/Macaulay2/packages/Matroids.m2 b/M2/Macaulay2/packages/Matroids.m2
index 03c26599956054c12200077a34c4fd33896e5129..a4bf63d576a8571909bb3689626d22bad9b9a24b 100644 (file)
--- a/M2/Macaulay2/packages/Matroids.m2
+++ b/M2/Macaulay2/packages/Matroids.m2
@@ -3890,6 +3890,7 @@ assert(maxWeightBasis(F7, rsort w) === set{0,1,2})
 ///\r
 \r
 TEST ///\r
+-- no-check-flag #1392\r
 M0 = matroid graph({{a,b},{b,c},{c,d},{d,e},{e,f},{f,g},{f,h},{c,h},{c,f},{a,g},{d,g}})\r
 M1 = matroid graph({{a,b},{b,c},{c,d},{d,e},{e,f},{f,g},{f,h},{c,h},{c,f},{a,g},{a,h}})\r
 T = ZZ[x,y]\r

diff --git a/M2/Macaulay2/packages/MinimalPrimes/tests.m2 b/M2/Macaulay2/packages/MinimalPrimes/tests.m2
index a76f6e2c33e61b7593cdde08050e11aa261920cb..9e39258116fb4f6603904622bca95003deea1ff0 100644 (file)
--- a/M2/Macaulay2/packages/MinimalPrimes/tests.m2
+++ b/M2/Macaulay2/packages/MinimalPrimes/tests.m2
@@ -72,6 +72,7 @@ TEST /// -- test of CodimensionLimit option
 ///
 
 TEST ///
+-- no-check-flag #1064
    R = QQ[x,r,v,u,b, MonomialOrder=>{Lex=>5}]
    I = ideal(b^3-7*b^2+14*b-7,r^2-u*r+(-2*b^2+9*b-5)*u^2+b^2-4*b,x^2+(b-2)*x*r+r^2+b^2-4*b)
    elapsedTime C = minprimes(I, Verbosity=>2);
@@ -95,6 +96,7 @@ TEST ///
 ///
 
 TEST ///
+-- no-check-flag #1064
    -- Over a tower of rings
    R = QQ[b][u][x,r,v, MonomialOrder=>{Lex=>3}]
    I = ideal(b^3-7*b^2+14*b-7,r^2-u*r+(-2*b^2+9*b-5)*u^2+b^2-4*b,x^2+(b-2)*x*r+r^2+b^2-4*b)
@@ -638,6 +640,7 @@ SIMPLETEST ///
 ///
 
 SIMPLETEST ///
+-- no-check-flag #1742
   needsPackage "MinimalPrimes"
   R = QQ[vars(0..8)];
   I = ideal(b*d+a*e,c*d+a*f,c*e+b*f,b*g+a*h,c*g+a*i,c*h+b*i,e*g+d*h,f*g+d*i,f*h+e*i)
@@ -648,6 +651,7 @@ SIMPLETEST ///
 ///
 
 SIMPLETEST ///
+-- no-check-flag #1742
   needsPackage "MinimalPrimes"
   R = QQ[vars(0..8),MonomialOrder=>Lex];
   I = ideal(b*d+a*e,c*d+a*f,c*e+b*f,b*g+a*h,c*g+a*i,c*h+b*i,e*g+d*h,f*g+d*i,f*h+e*i)
@@ -1604,6 +1608,7 @@ TEST ///
 ///
 
 TEST ///
+-- no-check-flag #1064
   -- this test occurs as a crash in github issue #190.
   -- seems to work after recent changes to factory.
   -- it might be too long for a test...
@@ -1696,6 +1701,7 @@ TEST ///
 ///
 
 TEST ///
+  -- no-check-flag #1742
   -- permanents!
   R = ZZ/32003[r,s,t,u,v,w,x,y,z]
   I = ideal(

diff --git a/M2/Macaulay2/packages/MultiGradedRationalMap.m2 b/M2/Macaulay2/packages/MultiGradedRationalMap.m2
index 1df64450057fcf0b8b55b7769503b0506ff4ddfc..0004131135720930d3094d5cffc2ecccef6116dc 100644 (file)
--- a/M2/Macaulay2/packages/MultiGradedRationalMap.m2
+++ b/M2/Macaulay2/packages/MultiGradedRationalMap.m2
@@ -1272,6 +1272,7 @@ TEST ///
 
 
 TEST ///
+-- no-check-flag #1742
      R = QQ[x,y,z]
      A = matrix{ {x, x^5 + y^5},
                  {-y, y^5 + z*x^2*y^2},

diff --git a/M2/Macaulay2/packages/MultiprojectiveVarieties.m2 b/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
index 9b78c5239f010514e5cb3b497583a389fcff70ea..c210c9615f96014d7bc6569d9ac7616ce5f6432e 100644 (file)
--- a/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
+++ b/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
@@ -3645,6 +3645,7 @@ assert(toString describe Phi == toString strForTest);
 ///
 
 TEST ///
+-- no-check-flag #2206
 R = ZZ/300007[x_0..x_3];
 C3 = ideal(x_2^2-x_1*x_3,x_1*x_2-x_0*x_3,x_1^2-x_0*x_2);
 C2 = ideal(x_1^2-x_0*x_2,x_3);
@@ -3665,6 +3666,7 @@ assert(apply(factor Psi,f -> first degrees ideal matrix f) == {{1, 0, 1}, {2, 0,
 ///
 
 TEST ///
+-- no-check-flag #2162
 ringP4 := ZZ/300007[a..e];
 f = rationalMap minors(2,matrix {{a,b,c,d},{b,c,d,e}});
 g = rationalMap(minors(2,matrix{{a,b,c},{b,c,d}}) + ideal e);
@@ -3695,6 +3697,7 @@ inverse(Eta'',Verify=>4)
 ///
 
 TEST///
+-- no-check-flag #2162
 Phi = last graph rationalMap projectiveVariety({1},{4},ZZ/300007);
 assert(multidegree(,Phi) == multidegree Phi)
 assert(projectiveDegrees Phi == multidegree Phi)
@@ -3738,6 +3741,7 @@ assert(phi'' * psi'' == 1 and psi'' * phi'' == 1);
 ///
 
 TEST /// -- product must be strict associative
+-- no-check-flag #1742
 K = ZZ/333331;
 X = projectiveVariety({1,1},{2,3},K);
 Y = random({3},projectiveVariety(2,2,K));
@@ -3862,6 +3866,7 @@ assert(h * h^-1 == 1 and h^-1 * h == 1)
 ///
 
 TEST /// -- parametrizations 2
+-- no-check-flag #1742
 checkInverseParametrization = X -> (
     f := parametrize X;
     <<f<<endl;
@@ -3907,6 +3912,7 @@ assert((parametrize X)*(inverse parametrize X) == 1 and (inverse parametrize X)*
 ///
 
 TEST /// -- parametrizations 3
+-- no-check-flag #1539
 needsPackage "SpecialFanoFourfolds";
 debug SpecialFanoFourfolds;
 checkInverseParametrization = X -> (

diff --git a/M2/Macaulay2/packages/NumericalImplicitization/tests.m2 b/M2/Macaulay2/packages/NumericalImplicitization/tests.m2
index 851179634c1c02264710272e4b09d3adccadc46a..58bdf9b5fc91d10fd63dd98fd755528467eae8e5 100644 (file)
--- a/M2/Macaulay2/packages/NumericalImplicitization/tests.m2
+++ b/M2/Macaulay2/packages/NumericalImplicitization/tests.m2
@@ -37,6 +37,7 @@ assert(PW.degree == 4)
 ///
 
 TEST /// -- Grassmannian Gr(3, 5) = G(P^2,P^4)
+-- no-check-flag #1456
 setRandomSeed 0
 (k, n) = (3,5)
 R = CC[x_(1,1)..x_(k,n)]
@@ -137,6 +138,7 @@ assert(numericalImageDegree PW == degSOn)
 ///
 
 TEST /// -- Twisted cubic projections
+-- no-check-flag #2183
 R = CC[x_0..x_3]
 I = monomialCurveIdeal(R, {1,2,3})
 F1 = random(R^1, R^{3:-1})

diff --git a/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2 b/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2
index 763e1c112f73b8f5f7d9857097f565d3df1e065f..018097fa42d72c8e3222d41e6805669433245ab5 100644 (file)
--- a/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2
+++ b/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2
@@ -1,3 +1,4 @@
+-- no-check-flag #1742
 -- this example is provided by Amelia Taylor
 
 k = QQ

diff --git a/M2/Macaulay2/packages/PrimaryDecomposition/tests.m2 b/M2/Macaulay2/packages/PrimaryDecomposition/tests.m2
index b30f4c24a53e1f664910e60562f55b7116fea760..da8fa0fec7dd79f921d6bf2b04d736884b173206 100644 (file)
--- a/M2/Macaulay2/packages/PrimaryDecomposition/tests.m2
+++ b/M2/Macaulay2/packages/PrimaryDecomposition/tests.m2
@@ -68,6 +68,7 @@ testResult(Ideal,List) := (I,L) -> (
     )
 
 TEST /// -- testing strategies
+-- no-check-flag #1742
   importFrom_PrimaryDecomposition {"testResult"}
   w,x,y,z
   scan({  QQ, ZZ/3, ZZ/2, ZZ/101, ZZ/32003}, k -> (

diff --git a/M2/Macaulay2/packages/RationalMaps.m2 b/M2/Macaulay2/packages/RationalMaps.m2
index 8e6c3afa1d0f24dd25564c8988dfac29b59df6ec..7ede634f4982324dd87841547d43577c8ed452dd 100644 (file)
--- a/M2/Macaulay2/packages/RationalMaps.m2
+++ b/M2/Macaulay2/packages/RationalMaps.m2
@@ -2281,6 +2281,7 @@ TEST /// --test #22 (Frobenius on an elliptic curve)
        -------------------------------------
 
 TEST /// --test #23
+-- no-check-flag #1742
     -- Let's find the inverse of the projection map from
     -- the blow up of P^2 to P^2
 

diff --git a/M2/Macaulay2/packages/RunExternalM2.m2 b/M2/Macaulay2/packages/RunExternalM2.m2
index f8cfc23303cb2b92cd555877c22c75e646fdea5d..e6faa9a1c2f05c57538de5bd4975a0111699cef2 100644 (file)
--- a/M2/Macaulay2/packages/RunExternalM2.m2
+++ b/M2/Macaulay2/packages/RunExternalM2.m2
@@ -1049,6 +1049,7 @@ assert(h#"output file"===null);
 
 -- Check that ulimits and statistics work
 TEST ///
+-- no-check-flag #1968
 fn=temporaryFileName()|".m2";
 fn<<////
 spin = (x,t) -> (

diff --git a/M2/Macaulay2/packages/SegreClasses.m2 b/M2/Macaulay2/packages/SegreClasses.m2
index 3c5cc340d1a07615f51e83de301568f7cf40076d..76ee89417f4e580a89384a7845ed14f67a663485 100644 (file)
--- a/M2/Macaulay2/packages/SegreClasses.m2
+++ b/M2/Macaulay2/packages/SegreClasses.m2
@@ -941,6 +941,7 @@ Node
 
 
 TEST ///
+-- no-check-flag #2162
 -- union of coordinate axes in PP3 (diagonal)
 -*
 restart
@@ -959,6 +960,7 @@ assert(s == 3*(a^3*b^2+a^2*b^3)-10*(a^3*b^3))
 
 TEST ///
 -*
+   no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -972,6 +974,7 @@ assert(multiplicity(I,J,Verbose=>true)==1)
 ///
 
 TEST ///
+-- no-check-flag #2162
 -- union of coordinate axes in PP3 (diagonal)
 -*
 restart
@@ -991,6 +994,7 @@ assert(sort(pds)==sort(l))
 
 TEST ///
 -*
+no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1024,6 +1028,7 @@ time assert (isComponentContained(Y,X)==true)
 
 TEST ///
 -*
+no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1060,6 +1065,7 @@ assert(s == a^2 + a^2*b)
 
 TEST ///
 -*
+no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1080,6 +1086,7 @@ time segreDimX(X,Theta*F,A)
 
 TEST ///
 -*
+no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1095,6 +1102,7 @@ time assert(containedInSingularLocus(P,C,Verbose=>true)==true)
 
 TEST ///
 -*
+no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1111,6 +1119,7 @@ assert(intersectionProduct(L1,L1,Q,A)==0_A)
 
 TEST ///
 -*
+no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-

diff --git a/M2/Macaulay2/packages/SimplicialDecomposability.m2 b/M2/Macaulay2/packages/SimplicialDecomposability.m2
index 6aaa2072c4a29d930fcfea4dd36c328697dda6c2..e3fc9e1335d47e4d6421ee684bfa063ba757afdb 100644 (file)
--- a/M2/Macaulay2/packages/SimplicialDecomposability.m2
+++ b/M2/Macaulay2/packages/SimplicialDecomposability.m2
@@ -1025,6 +1025,7 @@ assert(not isDecomposable(2, simplicialComplex {a*b*c, c*d*e}));
 
 -- Tests isDecomposable: see Examples V6F10-{1,6,7} in [MT].
 TEST ///
+-- no-check-flag #1742
 R = QQ[a..f];
 S1 = simplicialComplex {a*b*c, a*b*d, a*b*f, a*c*d, a*c*e, b*d*e, b*e*f, c*d*f, c*e*f, d*e*f};
 S6 = simplicialComplex {a*b*c, a*b*d, a*b*e, a*c*d, a*c*f, b*d*e, b*e*f, c*d*f, c*e*f, d*e*f};

diff --git a/M2/Macaulay2/packages/SparseResultants.m2 b/M2/Macaulay2/packages/SparseResultants.m2
index bfcaa6deef8e9395c90e818bb827bd391dc65a26..a1f57e6975b265ff609592d45185d77a2d73f122 100644 (file)
--- a/M2/Macaulay2/packages/SparseResultants.m2
+++ b/M2/Macaulay2/packages/SparseResultants.m2
@@ -1736,6 +1736,7 @@ assert(R == S)
 ///
 
 TEST /// -- Corollary 2.2, p. 256 [GKZ]
+-- no-check-flag #2162
 property = (M) -> (
     M = transpose matrix M;
     K := ZZ/33331; n := numRows M;

diff --git a/M2/Macaulay2/packages/SpecialFanoFourfolds.m2 b/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
index 28a16b3cef48534dc1e59e860848200d01e754ca..d640a83187c487b238a70a9ca4feea20f8c65704 100644 (file)
--- a/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
+++ b/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
@@ -2821,6 +2821,7 @@ SeeAlso => {(surface,VisibleList,Ring), GMtables}}
 ------------------------------------------------------------------------
 
 TEST /// -- Test 0 -- cubic fourfolds from strings: describe, discriminant, parameterCount
+-- no-check-flag #2162
 strIn := {"quintic del Pezzo surface", "quartic scroll", "3-nodal septic scroll", "one-nodal septic del Pezzo surface", "general cubic 4-fold of discriminant 38", "general cubic 4-fold of discriminant 42", "cubic 4-fold of discriminant 48"};
 strOut := "Special cubic fourfold of discriminant 14
 containing a (smooth) surface of degree 5 and sectional genus 1
@@ -2856,6 +2857,7 @@ assert(parameterCount(Y_0,Verbose=>true) == (1, (25, 35, 5)) and parameterCount(
 ///
 
 TEST /// -- Test 1 (1/2) -- GM fourfolds from strings: describe, discriminant, parameterCount, toGrass
+-- no-check-flag #1539
 strIn := {"sigma-plane", "rho-plane", "tau-quadric"};
 strOut := "Special Gushel-Mukai fourfold of discriminant 10('')
 containing a surface in PP^8 of degree 1 and sectional genus 0
@@ -2887,6 +2889,7 @@ assert(parameterCount(Y_0,Verbose=>true) == (2, (34, 4, 0)) and parameterCount(Y
 ///
 
 TEST /// -- Test 2 (2/2) -- GM fourfolds from strings: describe, discriminant, parameterCount, toGrass
+-- no-check-flag #1539
 strIn := {"cubic scroll", "quintic del Pezzo surface", "general GM 4-fold of discriminant 20"};
 strOut := "Special Gushel-Mukai fourfold of discriminant 12
 containing a surface in PP^8 of degree 3 and sectional genus 0
@@ -2919,6 +2922,7 @@ assert(parameterCount(Y_1,Verbose=>true) == (1, (24, 18, 3)));
 ///
 
 TEST /// -- Test 3 -- 21 examples from GMtables
+-- no-check-flag #1539
 X = for i from 1 to 21 list (
    A = GMtables(i,ZZ/65521);
    time specialGushelMukaiFourfold((rationalMap(ideal A_0,Dominant=>2)) ideal A_1,InputCheck=>0)
@@ -2931,6 +2935,7 @@ assert(last cycleClass X_7 == (4,3) and discriminant X_7 == 12);
 ///
 
 TEST /// -- Test 4 -- parametrizations of Fano fourfolds
+-- no-check-flag #1539
 setRandomSeed 0;
 for dg in {(2,0),(3,1),(4,1),(5,1),(4,3),(6,4),(8,5),(10,6),(12,7),(14,8),(16,9),(18,10)} do (
     <<"(d,g) = "<<dg<<endl;
@@ -2949,6 +2954,7 @@ for dg in {(2,0),(3,1),(4,1),(5,1),(4,3),(6,4),(8,5),(10,6),(12,7),(14,8),(16,9)
 ///
 
 TEST /// -- Test 5 -- rational and unirational parametrizations
+-- no-check-flag #1742
 X = specialCubicFourfold surface({3,4},ZZ/333331);
 time h = parametrize X;
 assert(degree(h,Strategy=>"random point") == 1 and target h === X and ambient source h == source h and h#"inverse" =!= null);
@@ -2965,20 +2971,24 @@ assert(degree(g,Strategy=>"random point") == 1 and target g === Y and dim ambien
 ///
 
 TEST /// -- Test 6 (1/3) -- associated K3 surfaces
+-- no-check-flag #1539
 f = last associatedK3surface(specialCubicFourfold "quartic scroll",Verbose=>true);
 assert(f#"image" =!= null and dim image f == 2 and degree image f == 14 and dim target f == 8)
 ///
 
 TEST /// -- Test 7 (2/3) -- associated K3 surfaces
+-- no-check-flag #1539
 g = last associatedK3surface(specialCubicFourfold "quintic del Pezzo surface",Verbose=>true);
 assert(g#"image" =!= null and dim image g == 2 and degree image g == 14 and dim target g == 8)
 ///
 
 TEST /// -- Test 8 (3/3) -- associated K3 surfaces
+-- no-check-flag #2162
 associatedK3surface(specialGushelMukaiFourfold "tau-quadric",Verbose=>true);
 ///
 
 TEST /// -- Test 9 -- simple tests on schubertCycle
+-- no-check-flag #1539
 debug MultiprojectiveVarieties;
 S = schubertCycle({2,2},GG(ZZ/33331,1,4),Standard=>true)
 assert(idealOfSubvariety S == idealOfSubvariety tangentialChowForm(projectiveVariety ideal((Grass(0,4,ZZ/33331,Variable=>"x"))_0,(Grass(0,4,ZZ/33331,Variable=>"x"))_1),1,1))
@@ -2993,6 +3003,7 @@ detectCongruence(X,Verbose=>true);
 ///
 
 TEST /// -- Test 11 (2/2) -- detectCongruence
+-- no-check-flag #1539
 use Grass(1,4,ZZ/33331);
 S31 = ideal(p_(3,4),p_(2,4),p_(1,4),p_(0,4),p_(2,3),p_(1,3),p_(1,2));
 Y = specialGushelMukaiFourfold(S31,InputCheck=>0);
@@ -3003,6 +3014,7 @@ detectCongruence(Y,Verbose=>true);
 ///
 
 TEST /// -- Test 12 (1/2) -- GM fourfolds containing nodal surfaces
+-- no-check-flag #2162
 debug SpecialFanoFourfolds;
 K = ZZ/65521;
 X = makeGMfromCurveOnSurfaceInP6((surface({2,0,0,0},K,ambient=>6)).cache#"takeCurve" (1,(0,0,0)),InputCheck=>0);
@@ -3014,6 +3026,7 @@ assert(discriminant X' == 44 and discriminant X == 44);
 ///
 
 TEST /// -- Test 13 (2/2) -- GM fourfolds containing nodal surfaces
+-- no-check-flag #1742
 X = specialGushelMukaiFourfold("nodal surface of degree 11 and genus 3 with class (7,4)",ZZ/33331,InputCheck=>0);
 assert(discriminant X == 26 and last cycleClass X == (7,4) and degree surface X == 11 and sectionalGenus surface X == 3);
 Y = specialGushelMukaiFourfold("nodal D44",ZZ/33331,InputCheck=>0);
@@ -3021,6 +3034,7 @@ assert(discriminant Y == 44 and last cycleClass Y == (6,3) and degree surface Y
 ///
 
 TEST /// -- Test 14 -- gluing scrolls along curves
+-- no-check-flag #1742
 debug SpecialFanoFourfolds
 S = surface({3,4,0,0},ambient=>6);
 for a in {(1,0),(2,0),(3,0),(4,0),(5,0),(5,1)} do (
@@ -3045,6 +3059,7 @@ assert(dim B == 4 and degree B == 4 and degrees B == {({2},1), ({3},3)} and isSu
 ///
 
 TEST /// -- Test 15
+-- no-check-flag #1539
 debug SpecialFanoFourfolds
 L = takeGMsfromSurfaceInP6(surface({3,1,1,0},ambient=>6),InputCheck=>0,"Gluing"=>"cubic scroll",Degrees=>hashTable{1=>(1,1),2=>(19,infinity),3=>(0,0)});
 X = first L;

diff --git a/M2/Macaulay2/packages/SumsOfSquares.m2 b/M2/Macaulay2/packages/SumsOfSquares.m2
index 6355dfb840d3b60542529de41561bac2b0e1f17a..01c269a341b231f2ecf1e812a0de28a85181babf 100644 (file)
--- a/M2/Macaulay2/packages/SumsOfSquares.m2
+++ b/M2/Macaulay2/packages/SumsOfSquares.m2
@@ -1437,6 +1437,7 @@ TEST /// --solveSOS
 
 --11
 TEST /// --lowerBound
+-- no-check-flag #1579
     debug needsPackage "SumsOfSquares"
     results := checkLowerBound("CSDP")
     assert all(results,t->t=!=false);

diff --git a/M2/Macaulay2/packages/SuperLinearAlgebra.m2 b/M2/Macaulay2/packages/SuperLinearAlgebra.m2
index ea63317bef4dc525b82520f3020cfef284ba915f..6ba2e0a23e65f12ef7e2614c87103163e20b44b1 100644 (file)
--- a/M2/Macaulay2/packages/SuperLinearAlgebra.m2
+++ b/M2/Macaulay2/packages/SuperLinearAlgebra.m2
@@ -219,6 +219,7 @@ superMatrixParity(SuperMatrix, Ring, List) := (SM, R1, a) -> (
 )
 
 TEST///
+-- no-check-flag #1984
 R1 = QQ[x_0..x_3];
 R2 = QQ[z_0..z_2];
 R = superRing(R1, R2);
@@ -271,6 +272,7 @@ superTrace (SuperMatrix, Ring, List)  := (SM, R1, a) -> (
 )
 
 TEST ///
+-- no-check-flag #1984
 R1 = QQ[x_0..x_3];
 R2 = QQ[z_0..z_2];
 R = superRing(R1, R2);

diff --git a/M2/Macaulay2/packages/TestIdeals/CompatiblySplitTest.m2 b/M2/Macaulay2/packages/TestIdeals/CompatiblySplitTest.m2
index 7c85209d7884b59f18f09fedf09b81392ec72dc3..33da42dbb48e5bbf6af7c8be6d69ee7fec1d3293 100644 (file)
--- a/M2/Macaulay2/packages/TestIdeals/CompatiblySplitTest.m2
+++ b/M2/Macaulay2/packages/TestIdeals/CompatiblySplitTest.m2
@@ -7,6 +7,7 @@ assert(  all(answerList, tt->any(compatIdeals, ss -> tt==ss)) );
 ///
 
 TEST /// 
+-- no-check-flag #1742
 R=ZZ/2[x_{21},x_{31},x_{32},x_{41},x_{42},x_{43}];
 u=x_{41}*(x_{31}*x_{42}-x_{41}*x_{32})*(x_{41}-x_{21}*x_{42}-x_{31}*x_{43}+x_{21}*x_{32}*x_{43});
 time CompatibleIdeals=compatibleIdeals(u);

diff --git a/M2/Macaulay2/packages/ThreadedGB.m2 b/M2/Macaulay2/packages/ThreadedGB.m2
index 2b7ac317f51b1f8ed5ead08d208a81933315e3aa..d71ff6eb41ddb87e2e97a027d8245c291c65eac3 100644 (file)
--- a/M2/Macaulay2/packages/ThreadedGB.m2
+++ b/M2/Macaulay2/packages/ThreadedGB.m2
@@ -587,6 +587,7 @@ TEST /// -- first element check
     assert (x^2*z == H#"(0-1)")
 ///;
 
+-- no-check-architecture: powerpc64le (#1463)
 TEST /// -- consistent with gens gb 
     R = ZZ/101[x,y,z, MonomialOrder=>GLex];
     I = ideal(x - y, y - z, -x + z);

diff --git a/M2/Macaulay2/packages/Topcom.m2 b/M2/Macaulay2/packages/Topcom.m2
index d4c1bf7d7cd1789e6d8145ae0a865ee074d36ab6..442a5dc43a8be1766f9f1052a24e145245fdbb1e 100644 (file)
--- a/M2/Macaulay2/packages/Topcom.m2
+++ b/M2/Macaulay2/packages/Topcom.m2
@@ -366,6 +366,7 @@ SeeAlso
 ///
 
 TEST ///
+-- no-check-flag #1707
 -*
   restart
   debug needsPackage "Topcom"
@@ -379,6 +380,7 @@ TEST ///
 ///
 
 TEST ///
+-- no-check-flag #1707
   needsPackage "Topcom"
   -- test of isRegularTriangulation
   A = transpose matrix {{0,3},{0,1},{-1,-1},{1,-1},{-4,-2},{4,-2}}
@@ -438,6 +440,7 @@ TEST ///
 ///
 
 TEST ///  
+-- no-check-flag #1707
   needsPackage "Topcom"
   needsPackage "Polyhedra"
   

diff --git a/M2/Macaulay2/packages/VectorFields.m2 b/M2/Macaulay2/packages/VectorFields.m2
index 7eaa98b366e7eeb361501ade0b484b120c7da5b5..88916b697faf9b14a38cb8c11556dfd1feceef34 100644 (file)
--- a/M2/Macaulay2/packages/VectorFields.m2
+++ b/M2/Macaulay2/packages/VectorFields.m2
@@ -2858,6 +2858,7 @@ assert(not isFiniteStratification(stratifyByRank(derlog(ideal (x*y*(x-y)*(x*w-y*
 
 -- isHolonomic, isHHolonomic
 TEST ///
+-- no-check-flag #1742
 R=QQ[a,b,c];
 
 -- some special cases

diff --git a/M2/Macaulay2/packages/VersalDeformations.m2 b/M2/Macaulay2/packages/VersalDeformations.m2
index 79def9977653211fe2a61c2ae6de9619c70df159..c898d8bc167757a68d53a02e9155dcad8fc4382d 100644 (file)
--- a/M2/Macaulay2/packages/VersalDeformations.m2
+++ b/M2/Macaulay2/packages/VersalDeformations.m2
@@ -1366,6 +1366,7 @@ assert (checkComparisonTheorem gens J == true)
 ///
 
 TEST ///
+-- no-check-flag #1392
 needsPackage "Truncations"
 S = ZZ/32003[a..d]
 I = monomialIdeal(a^2,a*b,b^4,a*c^3)