| |||||||||||
| |||||||||||
| |||||||||||
Synopsis | |||||||||||
Properties for generic types | |||||||||||
fractionConv :: (C a, C a) => [a] -> a -> Bool | |||||||||||
fractionConvAlt :: (C a, C a) => [a] -> a -> Bool | |||||||||||
scaleInt :: (C a, C a) => a -> T a -> Bool | |||||||||||
add :: (C a, C a) => T a -> T a -> Bool | |||||||||||
sub :: (C a, C a) => T a -> T a -> Bool | |||||||||||
mul :: (C a, C a) => T a -> T a -> Bool | |||||||||||
Properties for Integers | |||||||||||
newtype SmallPrime | |||||||||||
| |||||||||||
type IntFraction = ([SmallPrime], Integer) | |||||||||||
fractionConvInt :: [SmallPrime] -> Integer -> Bool | |||||||||||
fractionConvAltInt :: [SmallPrime] -> Integer -> Bool | |||||||||||
fromSmallPrimes :: IntFraction -> T Integer | |||||||||||
scaleIntInt :: Integer -> IntFraction -> Bool | |||||||||||
addInt :: IntFraction -> IntFraction -> Bool | |||||||||||
subInt :: IntFraction -> IntFraction -> Bool | |||||||||||
mulInt :: IntFraction -> IntFraction -> Bool | |||||||||||
intTests :: Test | |||||||||||
Properties for Polynomials | |||||||||||
newtype IrredPoly | |||||||||||
| |||||||||||
type RatPolynomial = T Rational | |||||||||||
type PolyFraction = ([IrredPoly], RatPolynomial) | |||||||||||
fractionConvPoly :: [IrredPoly] -> RatPolynomial -> Bool | |||||||||||
fractionConvAltPoly :: [IrredPoly] -> RatPolynomial -> Bool | |||||||||||
fromIrredPolys :: PolyFraction -> T RatPolynomial | |||||||||||
scaleIntPoly :: RatPolynomial -> PolyFraction -> Bool | |||||||||||
addPoly :: PolyFraction -> PolyFraction -> Bool | |||||||||||
subPoly :: PolyFraction -> PolyFraction -> Bool | |||||||||||
mulPoly :: PolyFraction -> PolyFraction -> Bool | |||||||||||
polyTests :: Test | |||||||||||
tests :: Test | |||||||||||
Produced by Haddock version 0.7 |