Safe Haskell	None
Language	Haskell2010

Polynomial.Polynomial

Documentation

newtype Poly t ord Source #

Constructors

Poly (Array N Ix1 (Term t ord))

Instances

(NFData t, Num t, Eq t) => LeftModule Integer (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods (.*) :: Integer -> Poly t Revlex -> Poly t Revlex #
(NFData t, Num t, Eq t) => LeftModule Natural (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods (.*) :: Natural -> Poly t Revlex -> Poly t Revlex #
(NFData t, Num t, Eq t) => RightModule Integer (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods (*.) :: Poly t Revlex -> Integer -> Poly t Revlex #
(NFData t, Num t, Eq t) => RightModule Natural (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods (*.) :: Poly t Revlex -> Natural -> Poly t Revlex #
(NFData t, Eq t) => Eq (Poly t ord) Source #
Instance details Defined in Polynomial.Polynomial Methods (==) :: Poly t ord -> Poly t ord -> Bool # (/=) :: Poly t ord -> Poly t ord -> Bool #
(NFData t, Ord t, Num t, Show t) => Show (Poly t ord) Source #
Instance details Defined in Polynomial.Polynomial Methods showsPrec :: Int -> Poly t ord -> ShowS # show :: Poly t ord -> String # showList :: [Poly t ord] -> ShowS #
Generic (Poly t ord) Source #
Instance details Defined in Polynomial.Polynomial Associated Types type Rep (Poly t ord) :: Type -> Type # Methods from :: Poly t ord -> Rep (Poly t ord) x # to :: Rep (Poly t ord) x -> Poly t ord #
NFData t => NFData (Poly t ord) Source #
Instance details Defined in Polynomial.Polynomial Methods rnf :: Poly t ord -> () #
(NFData t, Num t, Eq t) => Group (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods (-) :: Poly t Revlex -> Poly t Revlex -> Poly t Revlex # negate :: Poly t Revlex -> Poly t Revlex # subtract :: Poly t Revlex -> Poly t Revlex -> Poly t Revlex # times :: Integral n => n -> Poly t Revlex -> Poly t Revlex #
(NFData t, Num t, Eq t) => Multiplicative (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods (*) :: Poly t Revlex -> Poly t Revlex -> Poly t Revlex # pow1p :: Poly t Revlex -> Natural -> Poly t Revlex # productWith1 :: Foldable1 f => (a -> Poly t Revlex) -> f a -> Poly t Revlex #
(NFData t, Num t, Eq t) => Semiring (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial
(NFData t, Num t, Eq t) => Monoidal (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods zero :: Poly t Revlex # sinnum :: Natural -> Poly t Revlex -> Poly t Revlex # sumWith :: Foldable f => (a -> Poly t Revlex) -> f a -> Poly t Revlex #
(NFData t, Num t, Eq t) => Additive (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial Methods (+) :: Poly t Revlex -> Poly t Revlex -> Poly t Revlex # sinnum1p :: Natural -> Poly t Revlex -> Poly t Revlex # sumWith1 :: Foldable1 f => (a -> Poly t Revlex) -> f a -> Poly t Revlex #
(NFData t, Num t, Eq t) => Abelian (Poly t Revlex) Source #
Instance details Defined in Polynomial.Polynomial
type Rep (Poly t ord) Source #
Instance details Defined in Polynomial.Polynomial type Rep (Poly t ord) = D1 (MetaData "Poly" "Polynomial.Polynomial" "Ritt-Wu-0.1.0.0-HkN3umTPbNu5vlsngcCGAk" True) (C1 (MetaCons "Poly" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Array N Ix1 (Term t ord)))))

class' :: NFData t => Poly t ord -> Int Source #

ld :: NFData t => Poly t Revlex -> Int Source #

prem :: (NFData t, Eq t, Num t) => Poly t Revlex -> Poly t Revlex -> Poly t Revlex Source #

varDegree :: (NFData t, Eq t) => Poly t Revlex -> Int -> Int Source #

lt :: (NFData t, Eq t) => Poly t Revlex -> Term t Revlex Source #

lv :: NFData t => Poly t Revlex -> Int Source #

initOfv :: (NFData t, Eq t) => Poly t Revlex -> Poly t Revlex Source #

initOfv' :: (NFData t, Eq t) => Poly t Revlex -> Poly t Revlex Source #

max' :: [Int] -> Int Source #

spoly :: (NFData t, Fractional t, Ord t) => Poly t Revlex -> Poly t Revlex -> Poly t Revlex Source #

basicSpoly :: (NFData t, Fractional t, Num t, Eq t, Ord t) => Poly t Revlex -> Poly t Revlex -> Poly t Revlex Source #

lcmP :: (NFData t, Num t, Ord t) => Poly t Revlex -> Poly t Revlex -> [Poly t Revlex] Source #

withoutFactor :: (NFData t, Num t) => Poly t Revlex -> Poly t Revlex Source #

lcmT :: (Ord t, Num t) => Term t Revlex -> Term t Revlex -> Term t Revlex Source #

factor :: (NFData t, Num t) => Poly t Revlex -> Term t Revlex Source #

simP :: (NFData t, Fractional t, Num t, Eq t) => [Poly t Revlex] -> Poly t Revlex -> Poly t Revlex -> Poly t Revlex Source #

listElimination :: (NFData t, Fractional t, Eq t, Num t) => [Poly t Revlex] -> Poly t Revlex -> Poly t Revlex -> Poly t Revlex Source #

p :: NFData k => [Term k Revlex] -> Poly k Revlex Source #

orden :: NFData t => Poly t Revlex -> Poly t Revlex Source #

tsum :: Num k => [(k, [Int])] -> Term k ord Source #

totalDeg :: NFData t => Poly t Revlex -> Int Source #

numTerms :: NFData t => Poly t Revlex -> Int Source #