Safe Haskell	None
Language	Haskell2010

Algebra.Ring.Polynomial.Test

Documentation

arbitraryMonomialOfSum :: SNat n -> Int -> Gen (Monomial n) Source #

newtype WrapPolynomial polyn Source #

Constructors

WrapPolynomial
Fields runWrapPolynomial :: polyn

Instances

Instances details

(Monad m, IsOrderedPolynomial poly, Serial m (Coefficient poly)) => Serial m (WrapPolynomial poly) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods series :: Series m (WrapPolynomial poly)
Eq polyn => Eq (WrapPolynomial polyn) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods (==) :: WrapPolynomial polyn -> WrapPolynomial polyn -> Bool # (/=) :: WrapPolynomial polyn -> WrapPolynomial polyn -> Bool #
Num polyn => Num (WrapPolynomial polyn) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods (+) :: WrapPolynomial polyn -> WrapPolynomial polyn -> WrapPolynomial polyn # (-) :: WrapPolynomial polyn -> WrapPolynomial polyn -> WrapPolynomial polyn # (*) :: WrapPolynomial polyn -> WrapPolynomial polyn -> WrapPolynomial polyn # negate :: WrapPolynomial polyn -> WrapPolynomial polyn # abs :: WrapPolynomial polyn -> WrapPolynomial polyn # signum :: WrapPolynomial polyn -> WrapPolynomial polyn # fromInteger :: Integer -> WrapPolynomial polyn #
Ord polyn => Ord (WrapPolynomial polyn) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods compare :: WrapPolynomial polyn -> WrapPolynomial polyn -> Ordering # (<) :: WrapPolynomial polyn -> WrapPolynomial polyn -> Bool # (<=) :: WrapPolynomial polyn -> WrapPolynomial polyn -> Bool # (>) :: WrapPolynomial polyn -> WrapPolynomial polyn -> Bool # (>=) :: WrapPolynomial polyn -> WrapPolynomial polyn -> Bool # max :: WrapPolynomial polyn -> WrapPolynomial polyn -> WrapPolynomial polyn # min :: WrapPolynomial polyn -> WrapPolynomial polyn -> WrapPolynomial polyn #
Read polyn => Read (WrapPolynomial polyn) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods readsPrec :: Int -> ReadS (WrapPolynomial polyn) # readList :: ReadS [WrapPolynomial polyn] # readPrec :: ReadPrec (WrapPolynomial polyn) # readListPrec :: ReadPrec [WrapPolynomial polyn] #
Show polyn => Show (WrapPolynomial polyn) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods showsPrec :: Int -> WrapPolynomial polyn -> ShowS # show :: WrapPolynomial polyn -> String # showList :: [WrapPolynomial polyn] -> ShowS #
(IsOrderedPolynomial poly, Arbitrary (Coefficient poly)) => Arbitrary (WrapPolynomial poly) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods arbitrary :: Gen (WrapPolynomial poly) shrink :: WrapPolynomial poly -> [WrapPolynomial poly]

arbitraryPolynomial :: (Arbitrary (Coefficient poly), IsOrderedPolynomial poly) => Gen poly Source #

seriesPolynomial :: (Serial m (Coefficient poly), IsOrderedPolynomial poly) => Series m poly Source #

newtype HomogPoly poly Source #

Constructors

HomogPoly
Fields getHomogPoly :: poly

Instances

Instances details

(IsOrderedPolynomial poly, Arbitrary (Coefficient poly)) => Arbitrary (HomogPoly poly) Source #
Instance details Defined in Algebra.Ring.Polynomial.Test Methods arbitrary :: Gen (HomogPoly poly) shrink :: HomogPoly poly -> [HomogPoly poly]

arbitraryHomogeneousPolynomial :: (Arbitrary (Coefficient poly), IsOrderedPolynomial poly) => Gen poly Source #