From: Doug Torrance Date: Tue, 17 May 2022 02:26:51 +0000 (+0100) Subject: Skip package tests that have been known to fail on X-Git-Tag: archive/raspbian/1.20+ds-4+rpi1^2^2~4 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0324ed94fdc76e5b115862bc326d77916ef28a85;p=macaulay2.git 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 34e17d5..39a15c6 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/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/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/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)< ( diff --git a/M2/Macaulay2/packages/NumericalImplicitization/tests.m2 b/M2/Macaulay2/packages/NumericalImplicitization/tests.m2 index 8511796..2241f01 100644 --- 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 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/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 af1dcd1..d5b8eb5 100644 --- 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) = "<"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 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/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/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)