module Math.Test.TestAll where
import Math.Test.TGraph
import Math.Test.TDesign
import Math.Test.TPermutationGroup
import Math.Test.TSubquotients
import Math.Test.TFiniteGeometry
import Math.Test.TNonCommutativeAlgebra
import Math.Test.TField
import Math.Test.TRootSystem
import Math.Test.TCore.TField
import Math.Test.TCombinatorics.TDigraph
import Math.Test.TCombinatorics.TIncidenceAlgebra
import Math.Test.TCombinatorics.TMatroid
import Math.Test.TCombinatorics.TPoset
import Math.Test.TCommutativeAlgebra.TPolynomial
import Math.Test.TCommutativeAlgebra.TGroebnerBasis
import Math.Test.TNumberTheory.TPrimeFactor
import Math.Test.TProjects.TMiniquaternionGeometry
import Test.QuickCheck
import Test.HUnit
testall = and
[Math.Test.TGraph.test
,Math.Test.TDesign.test
,Math.Test.TPermutationGroup.test
,Math.Test.TSubquotients.test
,Math.Test.TFiniteGeometry.test
,Math.Test.TField.test
,Math.Test.TRootSystem.test
]
quickCheckAll =
do
quickCheck prop_NonCommRingNPoly
quickCheck prop_GroupPerm
quickCheckField
quickCheck prop_NearFieldF9
quickCheck prop_NearFieldJ9
hunitAll = runTestTT $ TestList [
testlistDigraph,
testlistIncidenceAlgebra,
testlistMatroid,
testlistPoset,
testlistPolynomial,
testlistGroebnerBasis,
testlistPrimeFactor
]