module Math.NumberTheory.Pell.Test where

import Distribution.TestSuite.QuickCheck         (Test, testProperty, testGroup)
import Math.NumberTheory.Moduli.SquareRoots.Test (prop_sqrtsPP, prop_sqrts)
import Math.NumberTheory.Pell.Test.Reduced       (prop_reduced)
import Math.NumberTheory.Pell.Test.Solve         (Problem (..), prop_solves)

tests :: IO [Test]
tests = return
    [ testGroup "SquareRoots"
        [ testProperty "sqrtsPP"       prop_sqrtsPP
        , testProperty "sqrts"         prop_sqrts
        ]
    , testGroup "Pell"
        [ testProperty "reduced"       prop_reduced
        , testProperty "solves 7   9"  (prop_solves 100 $ Problem 7   9)
        , testProperty "solves 5 (-4)" (prop_solves 100 $ Problem 5 (-4))
        , testProperty "solves 2 (-7)" (prop_solves 100 $ Problem 2 (-7))
        , testProperty "solves"        (prop_solves 100000)
        ]
   ]