Skip package tests that have been known to fail on

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/1707
Bug: https://github.com/Macaulay2/M2/issues/1745
Bug: https://github.com/Macaulay2/M2/issues/1746
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
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 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/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/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/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/MultiprojectiveVarieties.m2 b/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
index 559cf6811b91e2899835e1a73601242ac1e0eb02..32db7cd669d3b1b27ff0f4ae93f652bff049e305 100644 (file)
--- a/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
+++ b/M2/Macaulay2/packages/MultiprojectiveVarieties.m2
@@ -3679,6 +3679,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);
@@ -3709,6 +3710,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)
@@ -3921,6 +3923,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/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/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 af1dcd188ec7ba1e43b629e18205c1ccfdad6845..d5b8eb50caa3eb6d91a928cb13bb68eb3ea5bc43 100644 (file)
--- a/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
+++ b/M2/Macaulay2/packages/SpecialFanoFourfolds.m2
@@ -2884,6 +2884,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
@@ -2919,6 +2920,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
@@ -2950,6 +2952,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
@@ -2982,6 +2985,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)
@@ -2994,6 +2998,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;
@@ -3028,20 +3033,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))
@@ -3056,6 +3065,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);
@@ -3066,6 +3076,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);
@@ -3077,6 +3088,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);
@@ -3108,6 +3120,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/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/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)