halg-core-test-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Algebra.Ring.Polynomial.Monomial.Test

Documentation

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

arbitraryMonomial :: forall n. KnownNat n => Gen (Monomial n) Source #

Orphan instances

(KnownNat n, Monad m) => Serial m (Monomial n) Source # 
Instance details

Methods

series :: Series m (Monomial n)

(Monad m, Serial m (Monomial n)) => Serial m (OrderedMonomial ord n) Source # 
Instance details

Methods

series :: Series m (OrderedMonomial ord n)

KnownNat n => Arbitrary (Monomial n) Source # 
Instance details

Methods

arbitrary :: Gen (Monomial n)

shrink :: Monomial n -> [Monomial n]

KnownNat n => Arbitrary (OrderedMonomial ord n) Source # 
Instance details

Methods

arbitrary :: Gen (OrderedMonomial ord n)

shrink :: OrderedMonomial ord n -> [OrderedMonomial ord n]