From 9dc5ef5ce05a2cbb9085662212486ba025a1f2da Mon Sep 17 00:00:00 2001 From: Doug Torrance Date: Sun, 1 May 2022 19:10:02 +0100 Subject: [PATCH] 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 --- M2/Macaulay2/m2/testing.m2 | 8 ++++++++ .../packages/AssociativeAlgebras/tests.m2 | 3 +++ M2/Macaulay2/packages/Binomials.m2 | 1 + M2/Macaulay2/packages/CharacteristicClasses.m2 | 3 +++ M2/Macaulay2/packages/CoincidentRootLoci/tests.m2 | 1 + .../packages/DeterminantalRepresentations.m2 | 2 ++ M2/Macaulay2/packages/DiffAlg.m2 | 2 ++ M2/Macaulay2/packages/Divisor.m2 | 1 + M2/Macaulay2/packages/Dmodules/DHom.m2 | 1 + .../packages/EngineTests/GB.Test.Mathic.m2 | 1 + M2/Macaulay2/packages/EngineTests/Res.f4.m2 | 1 + .../packages/FunctionFieldDesingularization.m2 | 1 + M2/Macaulay2/packages/GroebnerWalk.m2 | 1 + M2/Macaulay2/packages/IntegralClosure.m2 | 1 + M2/Macaulay2/packages/K3Surfaces.m2 | 4 ++++ M2/Macaulay2/packages/LLLBases.m2 | 1 + M2/Macaulay2/packages/Matroids.m2 | 1 + M2/Macaulay2/packages/MinimalPrimes/tests.m2 | 6 ++++++ M2/Macaulay2/packages/MultiGradedRationalMap.m2 | 1 + M2/Macaulay2/packages/MultiprojectiveVarieties.m2 | 6 ++++++ .../packages/NumericalImplicitization/tests.m2 | 2 ++ .../primaryDecomposition-test.m2 | 1 + .../packages/PrimaryDecomposition/tests.m2 | 1 + M2/Macaulay2/packages/RationalMaps.m2 | 1 + M2/Macaulay2/packages/RunExternalM2.m2 | 1 + M2/Macaulay2/packages/SegreClasses.m2 | 9 +++++++++ .../packages/SimplicialDecomposability.m2 | 1 + M2/Macaulay2/packages/SparseResultants.m2 | 1 + M2/Macaulay2/packages/SpecialFanoFourfolds.m2 | 15 +++++++++++++++ M2/Macaulay2/packages/SumsOfSquares.m2 | 1 + M2/Macaulay2/packages/SuperLinearAlgebra.m2 | 2 ++ .../packages/TestIdeals/CompatiblySplitTest.m2 | 1 + M2/Macaulay2/packages/ThreadedGB.m2 | 1 + M2/Macaulay2/packages/Topcom.m2 | 3 +++ M2/Macaulay2/packages/VectorFields.m2 | 1 + M2/Macaulay2/packages/VersalDeformations.m2 | 1 + 36 files changed, 88 insertions(+) diff --git a/M2/Macaulay2/m2/testing.m2 b/M2/Macaulay2/m2/testing.m2 index c23b1e7..a01083a 100644 --- 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 3d9c920..fd5e6ea 100644 --- 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 8d853a0..8b06ab9 100644 --- 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 7d736a5..2c4f135 100644 --- 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 be6f182..8968050 100644 --- 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 0fc30a0..52db81a 100644 --- 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 4f9d4c1..7c00496 100644 --- 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 f67a86c..b2eab2f 100644 --- 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 17f00b0..d4d0d20 100644 --- 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 55741f1..18f3828 100644 --- 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 ee8b0f8..008d14b 100644 --- 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 c389425..d4d37ff 100644 --- 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 0304190..cd71a9f 100644 --- 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 cda85d6..5a92139 100644 --- 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 69072a9..87635c0 100644 --- 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)<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 1df6445..0004131 100644 --- 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 9b78c52..c210c96 100644 --- 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; < ( diff --git a/M2/Macaulay2/packages/NumericalImplicitization/tests.m2 b/M2/Macaulay2/packages/NumericalImplicitization/tests.m2 index 8511796..58bdf9b 100644 --- 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 763e1c1..018097f 100644 --- 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 b30f4c2..da8fa0f 100644 --- 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 8e6c3af..7ede634 100644 --- 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 f8cfc23..e6faa9a 100644 --- 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< ( diff --git a/M2/Macaulay2/packages/SegreClasses.m2 b/M2/Macaulay2/packages/SegreClasses.m2 index 3c5cc34..76ee894 100644 --- 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 6aaa207..e3fc9e1 100644 --- 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 bfcaa6d..a1f57e6 100644 --- 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 28a16b3..d640a83 100644 --- 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) = "<"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 6355dfb..01c269a 100644 --- 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 ea63317..6ba2e0a 100644 --- 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 7c85209..33da42d 100644 --- 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 2b7ac31..d71ff6e 100644 --- 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 d4c1bf7..442a5dc 100644 --- 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 7eaa98b..88916b6 100644 --- 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 79def99..c898d8b 100644 --- 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) -- 2.30.2