From: Doug Torrance Date: Sun, 24 Jan 2021 13:57:47 +0000 (+0000) Subject: Skip package tests that have been known to fail on X-Git-Tag: archive/raspbian/1.19.1+ds-9+rpi1~1^2^2~5 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b8f8cdff765ecaeb2f4706ba541d31b9a80beb17;p=macaulay2.git Skip package tests that have been known to fail on Bug: https://github.com/Macaulay2/M2/issues/190 Bug: https://github.com/Macaulay2/M2/issues/334 Bug: https://github.com/Macaulay2/M2/issues/1392 Bug: https://github.com/Macaulay2/M2/issues/1539 Bug: https://github.com/Macaulay2/M2/issues/1563 Bug: https://github.com/Macaulay2/M2/issues/1564 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/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/1773 Last-Update: 2021-01-01 various architectures. Gbp-Pq: Name skip-failing-package-tests.patch --- diff --git a/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2 b/M2/Macaulay2/packages/CoincidentRootLoci/tests.m2 index be6f182..e73841a 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 *- 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 706cca7..17bf199 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 *- 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 *- eps = 1e-15 A = randomPSD 5 E = eigenvectors(A, Hermitian => true) diff --git a/M2/Macaulay2/packages/Divisor.m2 b/M2/Macaulay2/packages/Divisor.m2 index f266807..aaf3d45 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 *- 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/DMODdoc.m2 b/M2/Macaulay2/packages/Dmodules/DMODdoc.m2 index baf3701..05df83a 100644 --- a/M2/Macaulay2/packages/Dmodules/DMODdoc.m2 +++ b/M2/Macaulay2/packages/Dmodules/DMODdoc.m2 @@ -2,7 +2,7 @@ TEST /// input "Dmodules/TST/gkz.tst.m2" /// TEST /// input "Dmodules/TST/AnnFs.tst.m2" /// -TEST /// input "Dmodules/TST/DHom.tst.m2" /// +TEST ///-* no-check-flag *- input "Dmodules/TST/DHom.tst.m2" /// TEST /// input "Dmodules/TST/Dbasic.tst.m2" /// TEST /// input "Dmodules/TST/Ddual.tst.m2" /// TEST /// input "Dmodules/TST/DeRham.tst.m2" /// diff --git a/M2/Macaulay2/packages/GroebnerWalk.m2 b/M2/Macaulay2/packages/GroebnerWalk.m2 index 0304190..283d5f0 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 *- 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/InvariantRing/Tests.m2 b/M2/Macaulay2/packages/InvariantRing/Tests.m2 index a687fe3..f6aba8d 100644 --- a/M2/Macaulay2/packages/InvariantRing/Tests.m2 +++ b/M2/Macaulay2/packages/InvariantRing/Tests.m2 @@ -105,6 +105,7 @@ assert(set invariants T1 === invariants1) -- Test 9 TEST /// +-* no-check-flag *- R2 = QQ[x_1..x_4] T2 = diagonalAction(matrix{{0,1,-1,1},{1,0,-1,-1}}, R2) invariants2 = set {x_1*x_2*x_3,x_1^2*x_3*x_4} diff --git a/M2/Macaulay2/packages/LLLBases.m2 b/M2/Macaulay2/packages/LLLBases.m2 index 2d86215..d3f89a5 100644 --- a/M2/Macaulay2/packages/LLLBases.m2 +++ b/M2/Macaulay2/packages/LLLBases.m2 @@ -1303,6 +1303,7 @@ TEST -- kernelLLL ------ ------------------- TEST /// +-* no-check-flag *- time m1 = map(ZZ^10, ZZ^10, (j,i) -> (i+1)^3 * (j+1)^2 + i + j + 2) time m = syz m1 @@ -1402,6 +1403,7 @@ TEST /// assert (a == m) /// TEST /// +-* no-check-flag *- setRandomSeed 0 m0 = random(ZZ^20, ZZ^30, Height=>100000) m1 = syz m0; diff --git a/M2/Macaulay2/packages/Matroids.m2 b/M2/Macaulay2/packages/Matroids.m2 index e938a02..d4bebe3 100644 --- a/M2/Macaulay2/packages/Matroids.m2 +++ b/M2/Macaulay2/packages/Matroids.m2 @@ -3638,6 +3638,7 @@ assert(maxWeightBasis(F7, rsort w) === set{0,1,2}) /// TEST /// +-* no-check-flag *- M0 = matroid graph({{a,b},{b,c},{c,d},{d,e},{e,f},{f,g},{f,h},{c,h},{c,f},{a,g},{d,g}}) M1 = matroid graph({{a,b},{b,c},{c,d},{d,e},{e,f},{f,g},{f,h},{c,h},{c,f},{a,g},{a,h}}) T = ZZ[x,y] diff --git a/M2/Macaulay2/packages/MinimalPrimes/tests.m2 b/M2/Macaulay2/packages/MinimalPrimes/tests.m2 index 40daf6d..46194fd 100644 --- a/M2/Macaulay2/packages/MinimalPrimes/tests.m2 +++ b/M2/Macaulay2/packages/MinimalPrimes/tests.m2 @@ -95,6 +95,7 @@ TEST /// /// TEST /// +-* no-check-flag *- -- 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) @@ -638,6 +639,7 @@ SIMPLETEST /// /// SIMPLETEST /// +-* no-check-flag *- needsPackage "MinimalPrimes" R = QQ[vars(0..8)]; 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) @@ -648,6 +650,7 @@ SIMPLETEST /// /// SIMPLETEST /// +-* no-check-flag *- needsPackage "MinimalPrimes" R = QQ[vars(0..8),MonomialOrder=>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 +1607,7 @@ TEST /// /// TEST /// +-* no-check-flag *- -- 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 +1700,7 @@ TEST /// /// TEST /// +-* no-check-flag *- -- permanents! R = ZZ/32003[r,s,t,u,v,w,x,y,z] I = ideal( diff --git a/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2 b/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2 index 763e1c1..b42acf0 100644 --- a/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2 +++ b/M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2 @@ -1,3 +1,4 @@ +-* no-check-flag *- -- this example is provided by Amelia Taylor k = QQ diff --git a/M2/Macaulay2/packages/RationalMaps.m2 b/M2/Macaulay2/packages/RationalMaps.m2 index 3e844da..6a9bb45 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 *- -- 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/SpecialFanoFourfolds.m2 b/M2/Macaulay2/packages/SpecialFanoFourfolds.m2 index 1e5a746..8e3c630 100644 --- a/M2/Macaulay2/packages/SpecialFanoFourfolds.m2 +++ b/M2/Macaulay2/packages/SpecialFanoFourfolds.m2 @@ -2801,6 +2801,7 @@ assert(f S == ideal(x_(3,4,5),x_(2,4,5),x_(1,4,5),x_(0,4,5),x_(2,3,5),x_(1,3,5), /// TEST /// +-* no-check-flag *- K := ZZ/3331; -- time X1 = specialGushelMukaiFourfold("sigma-plane",K,InputCheck=>0); @@ -2826,6 +2827,7 @@ time assert(discriminant X7 == 20) /// TEST/// +-* no-check-flag *- K = ZZ/65521; X = for i from 1 to 21 list ( A = tables(i,K); @@ -2849,6 +2851,7 @@ associatedK3surface(specialGushelMukaiFourfold "tau-quadric",Verbose=>true); /// TEST /// +-* no-check-flag *- for dgs in {(2,0,1),(3,1,1),(4,1,1),(5,1,1),(5,1,2),(4,3,1),(6,4,1),(8,5,1),(10,6,1),(12,7,1),(14,8,1),(16,9,1),(18,10,1)} do ( (d,g,s) = dgs; <<"(d,g) = "<<(d,g)<<", Strategy=>"<t=!=false); diff --git a/M2/Macaulay2/packages/Topcom.m2 b/M2/Macaulay2/packages/Topcom.m2 index ea4f3b7..4a4002a 100644 --- a/M2/Macaulay2/packages/Topcom.m2 +++ b/M2/Macaulay2/packages/Topcom.m2 @@ -395,6 +395,7 @@ TEST /// /// TEST /// +-* no-check-flag *- needsPackage "Topcom" -- test of isRegularTriangulation A = transpose matrix {{0,3},{0,1},{-1,-1},{1,-1},{-4,-2},{4,-2}} diff --git a/M2/Macaulay2/packages/VersalDeformations.m2 b/M2/Macaulay2/packages/VersalDeformations.m2 index d6a0649..d9f1d0b 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 *- needsPackage "Truncations" S = ZZ/32003[a..d] I = monomialIdeal(a^2,a*b,b^4,a*c^3) diff --git a/M2/Macaulay2/tests/normal/alarm.m2 b/M2/Macaulay2/tests/normal/alarm.m2 index 8bfd53c..0186ba2 100644 --- a/M2/Macaulay2/tests/normal/alarm.m2 +++ b/M2/Macaulay2/tests/normal/alarm.m2 @@ -1,3 +1,4 @@ +-* no-check-flag *- -- test that alarms work time try ( alarm(1); while true do 1 ) else true diff --git a/M2/Macaulay2/tests/normal/core-tests.m2 b/M2/Macaulay2/tests/normal/core-tests.m2 index 834ad22..bd33e3c 100644 --- a/M2/Macaulay2/tests/normal/core-tests.m2 +++ b/M2/Macaulay2/tests/normal/core-tests.m2 @@ -1,3 +1,4 @@ +-* no-check-flag *- -- these tests were in random places in Macaulay2Doc -- TODO: move them somewhere appropriate --