Description: Skip package tests that have been known to fail on
 various architectures.
Author: Doug Torrance <dtorrance@debian.org>
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/1581
Bug: https://github.com/Macaulay2/M2/issues/1745
Bug: https://github.com/Macaulay2/M2/issues/1746
Bug: https://github.com/Macaulay2/M2/issues/1834
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
Bug: https://github.com/Macaulay2/M2/issues/2704
Bug: https://github.com/Macaulay2/M2/issues/2923
Bug: https://github.com/Macaulay2/M2/issues/3171
Bug: https://github.com/Macaulay2/M2/issues/3179
Bug: https://github.com/Macaulay2/M2/issues/3238
Bug: https://github.com/Macaulay2/M2/issues/3239
Bug: https://github.com/Macaulay2/M2/issues/3571
Bug: https://github.com/Macaulay2/M2/issues/3646
Bug: https://github.com/Macaulay2/M2/issues/3820
Bug: https://github.com/algebraic-solving/msolve/issues/66
Last-Update: 2025-05-16

--- a/M2/Macaulay2/m2/testing.m2
+++ b/M2/Macaulay2/m2/testing.m2
@@ -50,6 +50,14 @@
     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 isMember(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
--- a/M2/Macaulay2/packages/GroebnerWalk.m2
+++ b/M2/Macaulay2/packages/GroebnerWalk.m2
@@ -726,6 +726,7 @@
 ///
 
 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}]
--- a/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2
+++ b/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2
@@ -180,6 +180,7 @@
 ///
 
 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))
--- a/M2/Macaulay2/packages/DeterminantalRepresentations.m2
+++ b/M2/Macaulay2/packages/DeterminantalRepresentations.m2
@@ -1304,6 +1304,7 @@
 -- 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)
@@ -1516,6 +1517,7 @@
 ///
 
 TEST /// -- cholesky, randomPSD
+-- no-check-flag #1745
 eps = 1e-15
 A = randomPSD 5
 E = eigenvectors(A, Hermitian => true)
--- a/M2/Macaulay2/packages/SuperLinearAlgebra.m2
+++ b/M2/Macaulay2/packages/SuperLinearAlgebra.m2
@@ -222,6 +222,7 @@
 )
 
 TEST///
+-- no-check-flag #1984
 R1 = QQ[x_0..x_3];
 R2 = QQ[z_0..z_2];
 R = superRing(R1, R2);
@@ -274,6 +275,7 @@
 )
 
 TEST ///
+-- no-check-flag #1984
 R1 = QQ[x_0..x_3];
 R2 = QQ[z_0..z_2];
 R = superRing(R1, R2);
--- a/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
+++ b/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
@@ -4275,6 +4275,7 @@
 ///
 
 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);
@@ -4305,6 +4306,7 @@
 ///
 
 TEST///
+-- no-check-flag #2162
 Phi = last graph rationalMap projectiveVariety({1},{4},ZZ/300007);
 assert(multidegree(,Phi) == multidegree Phi)
 assert(projectiveDegrees Phi == multidegree Phi)
@@ -4435,6 +4437,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: arm (#1539)
 checkIso = (X,Y) -> (
     time phi := X ===> Y;
     assert(source phi === ambient X and target phi === ambient Y and degree phi == 1 and image phi === target phi and phi X == Y and phi^* Y == X);
@@ -4517,6 +4520,7 @@
 ///
 
 TEST /// -- parametrizations 3
+-- no-check-flag #1539
 needsPackage "SpecialFanoFourfolds";
 debug SpecialFanoFourfolds;
 checkInverseParametrization = X -> (
--- a/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
+++ b/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
@@ -3677,6 +3677,7 @@
 ------------------------------------------------------------------------
 
 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
@@ -3712,6 +3713,7 @@
 ///
 
 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
@@ -3743,6 +3745,7 @@
 ///
 
 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
@@ -3775,6 +3778,7 @@
 ///
 
 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)
@@ -3787,6 +3791,7 @@
 ///
 
 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;
@@ -3826,11 +3831,13 @@
 ///
 
 TEST /// -- Test 7 (2/3) -- associated K3 surfaces
+-- no-check-architecture: s390x (#2162)
 g = last building associatedK3surface(specialCubicFourfold "quintic del Pezzo surface",Verbose=>true,Singular=>false);
 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-architecture: arm (#1539)
 building associatedK3surface(specialGushelMukaiFourfold "tau-quadric",Verbose=>false);
 ///
 
@@ -3844,11 +3851,13 @@
 ///
 
 TEST /// -- Test 10 (1/2) -- detectCongruence
+-- no-check-architecture: arm (#1539)
 X = specialCubicFourfold("quintic del Pezzo surface",ZZ/33331);
 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);
@@ -3859,6 +3868,7 @@
 ///
 
 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);
@@ -3870,6 +3880,7 @@
 ///
 
 TEST /// -- Test 13 (2/2) -- GM fourfolds containing nodal surfaces
+-- no-check-architecture: arm, i686, s390x (#1539, #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);
@@ -3901,6 +3912,7 @@
 ///
 
 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;
--- a/M2/Macaulay2/packages/NumericalImplicitization/tests.m2
+++ b/M2/Macaulay2/packages/NumericalImplicitization/tests.m2
@@ -37,6 +37,7 @@
 ///
 
 TEST /// -- Grassmannian Gr(3, 5) = G(P^2,P^4)
+-- no-check-architecture: s390x (#1456)
 setRandomSeed 0
 (k, n) = (3,5)
 R = CC[x_(1,1)..x_(k,n)]
@@ -123,6 +124,7 @@
 ///
 
 TEST /// -- Orthogonal group O(n)
+-- no-check-flag #3239
 -- no-capture-flag
 setRandomSeed 0
 n = 4
@@ -138,6 +140,7 @@
 ///
 
 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})
--- a/M2/Macaulay2/packages/EngineTests/Res.f4.m2
+++ b/M2/Macaulay2/packages/EngineTests/Res.f4.m2
@@ -568,6 +568,7 @@
 ///
 
 TEST ///
+-- no-check-flag #2205
   setRandomSeed "10"
   needsPackage "BGG"
   needsPackage "OldChainComplexes"
--- a/M2/Macaulay2/packages/CharacteristicClasses.m2
+++ b/M2/Macaulay2/packages/CharacteristicClasses.m2
@@ -2560,6 +2560,7 @@
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
 *-
@@ -2573,6 +2574,7 @@
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
 *-
@@ -2593,6 +2595,7 @@
 
 TEST ///
 -*
+   no-check-flag #2162
    restart
    needsPackage "CharacteristicClasses"
    installPackage "CharacteristicClasses"
--- a/M2/Macaulay2/packages/EngineTests/GB.Test.Mathic.m2
+++ b/M2/Macaulay2/packages/EngineTests/GB.Test.Mathic.m2
@@ -159,6 +159,7 @@
 ///
 
 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,
--- a/M2/Macaulay2/packages/SegreClasses.m2
+++ b/M2/Macaulay2/packages/SegreClasses.m2
@@ -941,6 +941,7 @@
 
 
 TEST ///
+-- no-check-flag #2162
 -- union of coordinate axes in PP3 (diagonal)
 -*
 restart
@@ -959,6 +960,7 @@
 
 TEST ///
 -*
+-- no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -972,6 +974,7 @@
 ///
 
 TEST ///
+-- no-check-flag #2162
 -- union of coordinate axes in PP3 (diagonal)
 -*
 restart
@@ -991,6 +994,7 @@
 
 TEST ///
 -*
+-- no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1024,6 +1028,7 @@
 
 TEST ///
 -*
+-- no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1060,6 +1065,7 @@
 
 TEST ///
 -*
+-- no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1080,6 +1086,7 @@
 
 TEST ///
 -*
+-- no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1095,6 +1102,7 @@
 
 TEST ///
 -*
+-- no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
@@ -1111,6 +1119,7 @@
 
 TEST ///
 -*
+-- no-check-flag #2162
 restart
 needsPackage "SegreClasses"
 *-
--- a/M2/Macaulay2/packages/SparseResultants.m2
+++ b/M2/Macaulay2/packages/SparseResultants.m2
@@ -1676,6 +1676,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: i686 (#3646)
 M = matrix{{0,1,0,1,2,0},
            {0,0,1,1,0,2}};
 time U = sparseResultant M
@@ -1740,6 +1741,7 @@
 ///
 
 TEST /// -- Corollary 2.2, p. 256 [GKZ]
+-- no-check-flag #2162
 property = (M) -> (
     M = transpose matrix M;
     K := ZZ/33331; n := numRows M;
--- a/M2/Macaulay2/packages/IntegralClosure.m2
+++ b/M2/Macaulay2/packages/IntegralClosure.m2
@@ -2818,6 +2818,7 @@
 --huneke2
 TEST ///
 -*
+-- no-check-flag #2162
   restart
   loadPackage("IntegralClosure", Reload => true)
 *-
--- a/M2/Macaulay2/packages/K3Surfaces.m2
+++ b/M2/Macaulay2/packages/K3Surfaces.m2
@@ -1062,6 +1062,7 @@
 ///
 
 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;
@@ -1108,6 +1109,7 @@
 ///
 
 TEST /// -- randomMukaiThreefoldContainingLine
+-- no-check-flag #2319
 debug K3Surfaces;
 K = ZZ/333331;
 setRandomSeed 123456789
@@ -1124,6 +1126,7 @@
 ///
 
 TEST ///
+-- no-check-flag #2319
 for g from 3 to 7 do (
     setRandomSeed 123456789;
     <<"(g,d,n) = "<<(g,2,-2)<<endl;
@@ -1138,6 +1141,7 @@
 ///
 
 TEST ///
+-- no-check-flag #2319
 for g in {3,4,5,6,7,8,9} do (<<"g = "<<g<<endl; time K3 g); 
 ///;
 
--- a/M2/Macaulay2/packages/MinimalPrimes/tests.m2
+++ b/M2/Macaulay2/packages/MinimalPrimes/tests.m2
@@ -72,6 +72,7 @@
 ///
 
 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 ///
+-- 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 ///
+-- 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...
--- a/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2
+++ b/M2/Macaulay2/packages/AssociativeAlgebras/tests.m2
@@ -811,6 +811,7 @@
 ///
 
 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}
@@ -1168,6 +1169,7 @@
 ///
 
 TEST ///
+-- no-check-flag #1903
 -- testing kernels
 -*
   restart
@@ -1361,6 +1363,7 @@
 ///
 
 TEST ///
+-- no-check-flag #1903
 -- support tests
 -*
 restart
--- a/M2/Macaulay2/packages/RandomGenus14Curves.m2
+++ b/M2/Macaulay2/packages/RandomGenus14Curves.m2
@@ -322,6 +322,7 @@
 ///
 
 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 ///
+-- no-check-architecture: arm (#2651)
   -- check that the certification sometimes works
   -- (only errors in codim 1 are detected)
   setRandomSeed("alpha")
--- a/M2/Macaulay2/packages/Topcom.m2
+++ b/M2/Macaulay2/packages/Topcom.m2
@@ -987,6 +987,7 @@
 
 
 TEST ///
+-- no-check-architecture: arm (#2704)
 -*
   restart
   debug needsPackage "Topcom"
@@ -1000,6 +1001,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: arm (#2704)
   needsPackage "Topcom"
   -- test of topcomIsRegularTriangulation
   A = transpose matrix {{0,3},{0,1},{-1,-1},{1,-1},{-4,-2},{4,-2}}
@@ -1036,6 +1038,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: arm (#1707)
 -- TODO: This test needs to be made to assert correct statements
 -- How to test that triangulations are correct?  What I thought worked does not.
   needsPackage "Topcom"
@@ -1074,6 +1077,7 @@
 ///
 
 TEST ///  
+-- no-check-flag #2704
   needsPackage "Topcom"
   needsPackage "Polyhedra"
   
--- a/M2/Macaulay2/packages/Triangulations.m2
+++ b/M2/Macaulay2/packages/Triangulations.m2
@@ -845,6 +845,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: arm (#2704)
 -- of homogenization and need for it.
 -*
   restart
@@ -886,6 +887,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: arm (#2704)
 -- TODO: this is a test for Topcom, it seems?
 -*
   restart
@@ -949,6 +951,7 @@
 ///
 
 TEST ///  
+-- no-check-flag #2704
   needsPackage "Triangulations"
   needsPackage "Polyhedra"
   
@@ -1171,6 +1174,7 @@
 ///
 
 TEST /// -- test of functions here on the square and the cube
+-- no-check-architecture: arm, s390x (#2704)
 -*
   restart
   needsPackage "Triangulations"
@@ -1235,6 +1239,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: arm, s390x (#2704)
   -- triangulation code, test 1.  
   -- some triangulation code is in Topcom, Polyhedra
   -- (comes from KS database, h11=3, #232.
--- a/M2/Macaulay2/packages/MultiplierIdeals.m2
+++ b/M2/Macaulay2/packages/MultiplierIdeals.m2
@@ -1628,6 +1628,7 @@
 --------------------------------------------------------------------------------
 
 TEST /// -- Example 3.9 of [Johnson, 2003] (thesis)
+-- no-check-flag #2923
   needsPackage "MultiplierIdeals";
   debug MultiplierIdeals;
   I = X -> genericDeterminantalSymbolicPower(X,3,4);
--- a/M2/Macaulay2/packages/RInterface/test.m2
+++ b/M2/Macaulay2/packages/RInterface/test.m2
@@ -7,6 +7,7 @@
 -----------
 
 TEST ///
+-- no-check-architecture: riscv64, loongarch64 (#3171)
 -- basic conversions
 assert BinaryOperation(symbol ===, value RObject null, null)
 assert Equation(value RObject (1, 2, 3), (1, 2, 3))
@@ -27,6 +28,7 @@
 
 
 TEST ///
+-- no-check-architecture: riscv64, loongarch64 (#3171)
 -- iterators
 assert Equation(toList RObject null, {})
 c = RFunction "c"
@@ -129,6 +131,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: riscv64, loongarch64 (#3171)
 -- functions
 assert Equation(+RObject 1, RObject 1)
 assert Equation(-RObject 1, RObject(-1))
--- a/M2/Macaulay2/packages/ThreadedGB.m2
+++ b/M2/Macaulay2/packages/ThreadedGB.m2
@@ -630,6 +630,7 @@
 ///;
 
 TEST /// -- indivisible S-poly added to hash table correctly
+    -- no-check-flag #3238
     R = ZZ/101[x,y,z, MonomialOrder=>Lex];
     I = {x^3*y, 4*x^2*y*z^4 - 6*y^5*z^2 - 9*y^2, x*y^3*z^5};
     allowableThreads= 4;
@@ -643,6 +644,7 @@
 ///;
 
 TEST /// -- first element check
+    -- no-check-flag #3238
     R = ZZ/101[x,y,z, MonomialOrder=>GLex];
     I = {x*y*z + z^2, x*y^2 - y^3*z + x*z, y^2};
     allowableThreads= 4;
--- a/M2/Macaulay2/packages/Msolve/tests.m2
+++ b/M2/Macaulay2/packages/Msolve/tests.m2
@@ -1,4 +1,5 @@
 TEST ///
+-- no-check-architecture: i686 (#msolve#66)
   -- c.f. https://github.com/algebraic-solving/msolve/issues/165
   K = ZZ/65537 -- > 2^16
   R = K[x_(0,0), x_(0,1)]
@@ -22,6 +23,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: i686 (#msolve#66)
   A = ZZ/1073741827[x,y,z]
   B = A[u,v,w]
   I = minors_2 matrix {{x,y,z}, {u,v,w}}
@@ -41,6 +43,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: i686 (#msolve#66)
   R = QQ[x,a,b,c,d]
   f = 7*x^2+a*x+b
   g = 2*x^2+c*x+d
@@ -57,6 +60,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: i686 (#msolve#66)
   R = ZZ/1073741827[z_1..z_3]
   I = ideal(7*z_1*z_2+5*z_2*z_3+z_3^2+z_1+5*z_3+10,8*z_1^2+13*z_1*z_3+10*z_3^2+z_2+z_1)
   assert(leadTerm msolveGB I == matrix{{z_1*z_2, z_1^2, z_1*z_3^2, z_2^2*z_3^2}})
@@ -68,6 +72,7 @@
 ///
 	      
 TEST ///
+-- no-check-architecture: arm, i686 (msolve#66)
   R = QQ[x,y];
   I = ideal ((x-3)*(x^2+1),y-1);
   assert(msolveRealSolutions I == {{3.0, 1.0}})
@@ -84,6 +89,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: i686 (#msolve#66)
   S = ZZ/1073741827[t12,t13,t14,t23,t24,t34];
   I = ideal(
       (t13*t12-t23)*(1-t14)+(t14*t12-t24)*(1-t13) - (t12+1)*(1-t13)*(1-t14),
@@ -96,6 +102,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: i686 (#msolve#66)
   R = QQ[x,a,b,c,d];
   f = x^2+a*x+b;
   g = x^2+c*x+d;
@@ -106,6 +113,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: arm, i686 (#3988)
 R=QQ[x,y,z];
 I = ideal {(x^3-z)*(x^2-y)};
 S = ideal {z-2,y-1};
@@ -117,6 +125,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: i686 (#msolve#66)
   debugLevel=1
   R = QQ[x..z,t]
   K = ideal(x^6+y^6+x^4*z*t+z^3,36*x^5+60*y^5+24*x^3*z*t,
--- a/M2/Macaulay2/packages/Cremona/tests.m2
+++ b/M2/Macaulay2/packages/Cremona/tests.m2
@@ -19,6 +19,7 @@
 ///
     
 TEST /// -- Hankel matrices
+-- no-check-architecture: arm (#1834)
     phi = (r,K) -> (x:=local x; R:=K[x_0..x_(2*r)]; M:=matrix(for i to r list for j to r list x_(i+j)); toMap ideal jacobian ideal det M);
     psi = (r,K) -> (x:=local x; R:=K[x_0..x_(2*r)]; M:=matrix(for i to r-1 list for j to r+1 list x_(i+j)); toMap minors(r,M));
     psi'= (r,K) -> toMap(psi(r,K),Dominant=>2);
@@ -40,6 +41,7 @@
 ///    
 
 TEST ///  -- special map P^8 ---> P^11
+-- no-check-architecture: arm (#1834)
     Phi = specialQuadraticTransformation(8,ZZ/3331)
     phi = map rationalMap Phi;
     Z = ideal target Phi;
--- a/M2/Macaulay2/packages/SumsOfSquares.m2
+++ b/M2/Macaulay2/packages/SumsOfSquares.m2
@@ -1435,6 +1435,7 @@
 
 --11
 TEST /// --lowerBound
+-- no-check-flag #1579
     debug needsPackage "SumsOfSquares"
     results := checkLowerBound("CSDP")
     assert all(results,t->t=!=false);
--- a/M2/Macaulay2/packages/Depth.m2
+++ b/M2/Macaulay2/packages/Depth.m2
@@ -105,6 +105,7 @@
 ///
 
 TEST///
+-- no-check-flag #3571
 S = ZZ/101[x_1..x_(9)];
 J = ideal vars S;
 T = S/J^5;
--- a/M2/Macaulay2/packages/Cyclotomic.m2
+++ b/M2/Macaulay2/packages/Cyclotomic.m2
@@ -234,6 +234,7 @@
 ///
 
 TEST ///
+-- no-check-flag #1064
 -- https://github.com/Macaulay2/M2/issues/487
 KK = QQ[r]/cyclotomicPoly(3,r);
 S = KK[x_0..x_11];
--- a/M2/Macaulay2/packages/LLLBases.m2
+++ b/M2/Macaulay2/packages/LLLBases.m2
@@ -1404,6 +1404,7 @@
   assert (a == m)
 ///
 TEST ///
+-- no-check-architecture: i686 (#3646)
     setRandomSeed 0
     m0 = random(ZZ^20, ZZ^30, Height=>100000)
     m1 = syz m0;
--- a/M2/Macaulay2/packages/PhylogeneticTrees.m2
+++ b/M2/Macaulay2/packages/PhylogeneticTrees.m2
@@ -2613,6 +2613,7 @@
 
 
 TEST ///
+-- no-check-architecture: i686 (#3646)
 
 -- The function phyloToricRandom is tested by 
 -- verifying that it produces a polynomial in the
@@ -2630,6 +2631,7 @@
 
 
 TEST ///
+-- no-check-architecture: i686 (#3646)
 
 Tree = {{0,1}};
 n = 4;
--- a/M2/Macaulay2/packages/Complexes/FreeResolutionTests.m2
+++ b/M2/Macaulay2/packages/Complexes/FreeResolutionTests.m2
@@ -708,6 +708,7 @@
 ///
 
 TEST ///
+-- no-check-architecture: s390x, powerpc64le (#3179)
 -- Test of nonminimal resolutions
 -*
   restart
--- a/M2/Macaulay2/packages/Oscillators/Tests.m2
+++ b/M2/Macaulay2/packages/Oscillators/Tests.m2
@@ -119,6 +119,7 @@
 
 --Test 4
 TEST ///
+-- no-check-architecture: i686, arm (#3820)
   needsPackage "NautyGraphs"
   Gstrs = flatten for i from 4 to 9 list generateGraphs(5,i, OnlyConnected=>true)
   Gs = Gstrs/stringToGraph
@@ -145,6 +146,7 @@
 
 -- Test 5
 TEST ///
+-- no-check-architecture: i686, arm (#3820)
   needsPackage "Oscillators"
   needsPackage "NautyGraphs"
   n = 5;
@@ -182,6 +184,7 @@
 
 -- Test 6
 TEST ///
+-- no-check-architecture: i686, arm (#3820)
   --Let's do all connected graphs with 4 vertices, which do not have a vertex with degree 1
     needsPackage "Oscillators"
     needsPackage "NautyGraphs"
@@ -452,6 +455,7 @@
 
 -- Test 9
 TEST ///
+-- no-check-architecture: i686, arm (#3820)
     gbTrace=0
     needsPackage "NautyGraphs"
     needsPackage "Visualize"
@@ -494,6 +498,7 @@
 
 --Test 10
 TEST ///
+-- no-check-architecture: i686 (#3820)
 -- MES XXX
     needsPackage "NautyGraphs"
     needsPackage "Visualize"
--- a/M2/Macaulay2/packages/EngineTests/GB.Test.LinearAlgebra.m2
+++ b/M2/Macaulay2/packages/EngineTests/GB.Test.LinearAlgebra.m2
@@ -67,6 +67,7 @@
 ///
 
 TEST /// -- Algorithm => LinearAlgebra, over prime finite field.
+-- no-check-architecture: s390x (#2162)
   kk = ZZ/101;
   R1 = kk[a..g, MonomialSize=>8];
   setRandomSeed 42
@@ -109,6 +110,7 @@
   restart
 *-
 TEST /// -- hilbert driven gb computation, for default, Algorithm => LinearAlgebra
+-- no-check-architecture: aarch64, s390x (#2162)
   setRandomSeed 42
   kk = ZZ/101
   R1 = kk[a..g, MonomialSize => 8];
@@ -136,6 +138,7 @@
   restart
 *-
 TEST /// -- hilbert driven gb computation, quasi-degrees
+-- no-check-architecture: s390x (#2162)
   setRandomSeed 42
   kk = ZZ/101
   R1 = kk[a..g, Degrees => {1,2,3,3,4,4,5}];