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/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/1745
Bug: https://github.com/Macaulay2/M2/issues/1746
Bug: https://github.com/Macaulay2/M2/issues/1903
Bug: https://github.com/Macaulay2/M2/issues/1984
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/2319
Bug: https://github.com/Macaulay2/M2/issues/2651
Last-Update: 2022-10-30

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 34e17d5e6905c704ba73dc940b9f6e60e490af67..39a15c69eadfc59a2fa7f687b8c8ba46eacd3532 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 afaf44e29781f0012b1c06c7591c2d350b15e59b..35699667e66cfdc65d011e65f042cdb16b044fdb 100644 (file)
--- a/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2
+++ b/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2
@@ -810,6 +810,7 @@ assert(phi ((1/x)*y) == (1/x)*y^2) -- fails
 ///
 
 TEST ///
+-- no-check-flag #1903
 kk = ZZ/32003
 R = kk<|x,y,z,w|>
 I = ideal {x*y-y*x-7*z*w-7*w*z, 3*x*z-4*y*w-3*z*x-4*w*y, 31*x*w+25*y*z+25*z*y-31*w*x, x*y+y*x-z*w+w*z, x*z+y*w+z*x-w*y, x*w-y*z+z*y+w*x}
@@ -1167,6 +1168,7 @@ BUG ///
 ///
 
 TEST ///
+-- no-check-flag #1903
 -- testing kernels
 -*
   restart
@@ -1360,6 +1362,7 @@ assert(sum apply(30, i -> numgens source ncBasis(i,S)) == 8!)
 ///
 
 TEST ///
+-- no-check-flag #1903
 -- support tests
 -*
 restart

diff --git a/M2/Macaulay2/packages/CharacteristicClasses.m2 b/M2/Macaulay2/packages/CharacteristicClasses.m2
index f40034da08750b5e54452bac5b8ca64540bb1359..db11eabfc24c9ad67c772a2f32f9d50d4b43d59e 100644 (file)
--- a/M2/Macaulay2/packages/CharacteristicClasses.m2
+++ b/M2/Macaulay2/packages/CharacteristicClasses.m2
@@ -2493,6 +2493,7 @@ TEST ///
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
 *-
@@ -2506,6 +2507,7 @@ TEST ///
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
 *-
@@ -2526,6 +2528,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/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 a854eab778901c017dcbc7823a829da9b4fe8f94..0ff8ecfa8a8768142a63301846839f07c28d2769 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/GroebnerWalk.m2 b/M2/Macaulay2/packages/GroebnerWalk.m2
index d20e01ad07bfdabde07e19717bb1b56c36b8d324..b1b6922fd3b831edd1fe7e5f3b561a0af69d3acc 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 1a01965030e4530836fa4f42926c8ba95485f5ed..fb8826fb436ae469aab1d5b665dd0657a71b2584 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 a8ecbf706209d69360faac345680abd5abaa6ee8..c92c794b30759d685af3c5d89c4239a84c6a5b84 100644 (file)
--- a/M2/Macaulay2/packages/K3Surfaces.m2
+++ b/M2/Macaulay2/packages/K3Surfaces.m2
@@ -1061,6 +1061,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;
@@ -1107,6 +1108,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
@@ -1123,6 +1125,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;
@@ -1137,6 +1140,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/MinimalPrimes/tests.m2 b/M2/Macaulay2/packages/MinimalPrimes/tests.m2
index a76f6e2c33e61b7593cdde08050e11aa261920cb..b58d3d3dd097982dac967099b2101b7c5cf4c09c 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)
@@ -1604,6 +1606,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...

diff --git a/M2/Macaulay2/packages/MultiprojectiveVarieties.m2 b/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
index 03ebf1bbd280b3f61cd2f5217fe292c3b4377d9a..ea8eb3add0b224d2fa69a3bb74ca0743dd287288 100644 (file)
--- a/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
+++ b/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
@@ -3846,6 +3846,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);
@@ -3876,6 +3877,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)
@@ -4088,6 +4090,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..2241f0110338dc68ee42124fbc659513a0dfcde4 100644 (file)
--- a/M2/Macaulay2/packages/NumericalImplicitization/tests.m2
+++ b/M2/Macaulay2/packages/NumericalImplicitization/tests.m2
@@ -137,6 +137,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/RandomGenus14Curves.m2 b/M2/Macaulay2/packages/RandomGenus14Curves.m2
index 823c7a9e45b3ac7d8f7d423d9763e7603e3c370c..155a273b39938cd6535ed6ca8d50a3786b45455c 100644 (file)
--- a/M2/Macaulay2/packages/RandomGenus14Curves.m2
+++ b/M2/Macaulay2/packages/RandomGenus14Curves.m2
@@ -322,6 +322,7 @@ doc ///
 ///
 
 TEST ///
+-- no-check-architecture: arm (#2651)
   -- check that there are not to many non-detected problems in the construction.
   -- This code finds errors in codimension 4 with high probability
   -- since 3^4 \approx 100
@@ -334,6 +335,7 @@ TEST ///
 ///
 
 TEST ///
+-- no-check-architecture: arm (#2651)
   -- check that the certification sometimes works
   -- (only errors in codim 1 are detected)
   setRandomSeed("alpha")

diff --git a/M2/Macaulay2/packages/SegreClasses.m2 b/M2/Macaulay2/packages/SegreClasses.m2
index ef80f98ac49fd6b30c2767a729a3722cdc0cdc54..d3923f095d98b0adabfafe802f412c27af8430f2 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/SparseResultants.m2 b/M2/Macaulay2/packages/SparseResultants.m2
index 4818f8690dbe88efaad6b7ddae2bc7b71f29e046..a2c4e576ef730e8af080114544b5d040b3feb440 100644 (file)
--- a/M2/Macaulay2/packages/SparseResultants.m2
+++ b/M2/Macaulay2/packages/SparseResultants.m2
@@ -1742,6 +1742,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 51ef90d1036888b5ef56c0f2e2e3f76d723616dd..b033c065fc62b5eacd80fb77592e1b24a370e6af 100644 (file)
--- a/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
+++ b/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
@@ -3408,6 +3408,7 @@ Outputs => {CongruenceOfCurves => {"the same object passed as input, but an erro
 ------------------------------------------------------------------------
 
 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
@@ -3443,6 +3444,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
@@ -3474,6 +3476,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
@@ -3506,6 +3509,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)
@@ -3518,6 +3522,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;
@@ -3552,20 +3557,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 building 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 building 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
 building 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))
@@ -3580,6 +3589,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);
@@ -3590,6 +3600,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);
@@ -3601,6 +3612,7 @@ assert(discriminant X' == 44 and discriminant X == 44);
 ///
 
 TEST /// -- Test 13 (2/2) -- GM fourfolds containing nodal surfaces
+-- no-check-architecture: s390x (#2162)
 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);
@@ -3632,6 +3644,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 1b14555c19205cc45fd691bb57e2cb3c64e4df03..c9f7cdc469b32eac8da34d12dee4c81ad95c13bf 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);