Skip package tests that have been known to fail on
authorDoug Torrance <dtorrance@piedmont.edu>
Sun, 24 Jan 2021 13:57:47 +0000 (13:57 +0000)
committerDoug Torrance <dtorrance@piedmont.edu>
Sun, 24 Jan 2021 13:57:47 +0000 (13:57 +0000)
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

17 files changed:
M2/Macaulay2/packages/CoincidentRootLoci/tests.m2
M2/Macaulay2/packages/DeterminantalRepresentations.m2
M2/Macaulay2/packages/Divisor.m2
M2/Macaulay2/packages/Dmodules/DMODdoc.m2
M2/Macaulay2/packages/GroebnerWalk.m2
M2/Macaulay2/packages/InvariantRing/Tests.m2
M2/Macaulay2/packages/LLLBases.m2
M2/Macaulay2/packages/Matroids.m2
M2/Macaulay2/packages/MinimalPrimes/tests.m2
M2/Macaulay2/packages/PrimaryDecomposition/primaryDecomposition-test.m2
M2/Macaulay2/packages/RationalMaps.m2
M2/Macaulay2/packages/SpecialFanoFourfolds.m2
M2/Macaulay2/packages/SumsOfSquares.m2
M2/Macaulay2/packages/Topcom.m2
M2/Macaulay2/packages/VersalDeformations.m2
M2/Macaulay2/tests/normal/alarm.m2
M2/Macaulay2/tests/normal/core-tests.m2

index be6f1829e35a3bc8876147db18f27a062518d6cb..e73841ae2d0df664485413f5b0b1121d490f0cca 100644 (file)
@@ -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))
index 706cca70282bac826253893b8321de255538aa5d..17bf19909c21090b07f09567d2530536ef6eaade 100644 (file)
@@ -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)
index f266807a3840704ea4888717d91de359390e5b43..aaf3d45d2a2eca082da0fb47030e31e04a699eff 100644 (file)
@@ -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
index baf3701c460f481b23400ae659ce5c0d0dea5f57..05df83a44ca4d645cabccec085b1e75658037e85 100644 (file)
@@ -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" ///
index 030419040322851b51df70835fa65b8858876718..283d5f0ca71bbe93c24cef8ab31c56dfb8b53ef0 100644 (file)
@@ -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}]
index a687fe351d0a91e6247ef16560e3284dff755d87..f6aba8d3574221432aa51ede5a9a08c9fabcfef7 100644 (file)
@@ -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}
index 2d86215cf24feb1ba01340b6a315ce6af915e749..d3f89a5c4f1fc78ba75bae4fd2fec52667c92858 100644 (file)
@@ -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;
index e938a02e1e9d8dd20ecc1fa110e133e7a630c54c..d4bebe3c0ffe64409f7c9829ce7c09b5a913b9ef 100644 (file)
@@ -3638,6 +3638,7 @@ assert(maxWeightBasis(F7, rsort w) === set{0,1,2})
 ///\r
 \r
 TEST ///\r
+-* no-check-flag *-\r
 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}})\r
 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}})\r
 T = ZZ[x,y]\r
index 40daf6da07867a4f2d72c00d21149ccc7d4db6ad..46194fdf8de94691d9aecf6b3442deca0123a021 100644 (file)
@@ -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(
index 763e1c112f73b8f5f7d9857097f565d3df1e065f..b42acf07139e8c17cc2dfb41ee1ce805812d058c 100644 (file)
@@ -1,3 +1,4 @@
+-* no-check-flag *-
 -- this example is provided by Amelia Taylor
 
 k = QQ
index 3e844da6ccce658f564a5ff6bc7310923861edda..6a9bb453a718b813cda6a1ade42db55c1f894b3b 100644 (file)
@@ -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
 
index 1e5a746f85311cdb612892606bf5233a42328591..8e3c630e23cbceae4769cdcaade71fce4fbb57f8 100644 (file)
@@ -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=>"<<s<<endl;
index b1b6011a49403cc53ad176c7149969be332924c4..20102811a0ce066cae8dbd9fe2b731e05d28e24a 100644 (file)
@@ -1369,6 +1369,7 @@ TEST /// --solveSOS
 
 --11
 TEST /// --lowerBound
+-* no-check-flag *-
     debug needsPackage "SumsOfSquares"
     results := checkLowerBound("CSDP")
     assert all(results,t->t=!=false);
index ea4f3b7fe04e0dfed71c4ae32d820d3586d18c4d..4a4002ae1c9420f1b5aa0c8a710f31806879aae8 100644 (file)
@@ -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}}
index d6a0649ad8ec6c22b8c44825a5c7879cdd5931ef..d9f1d0bd8ef1cdbd8a0c968deb6cf7fe1edbffd1 100644 (file)
@@ -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)
index 8bfd53cba24bba0fe9df94c16de46527c1362aa0..0186ba2cdcc79832513fbe1da3fc19a6df476eb2 100644 (file)
@@ -1,3 +1,4 @@
+-* no-check-flag *-
 -- test that alarms work
 
 time try ( alarm(1); while true do 1 ) else true
index 834ad22ba7c0f06167a5f6e16df39621af81fc61..bd33e3c20ddd89e63dac01002eddccf072ab1dbc 100644 (file)
@@ -1,3 +1,4 @@
+-* no-check-flag *-
 -- these tests were in random places in Macaulay2Doc
 -- TODO: move them somewhere appropriate
 --