Polynomial.Polynomial

Documentation

newtype Poly t ord

Constructors

Poly (Array N Ix1 (Term t ord))

Instances

(NFData t, Num t, Eq t) => LeftModule Integer (Poly t Revlex)

Defined in Polynomial.Polynomial

Methods

(.*) :: Integer -> Poly t Revlex -> Poly t Revlex

(NFData t, Num t, Eq t) => LeftModule Natural (Poly t Revlex)

Defined in Polynomial.Polynomial

Methods

(.*) :: Natural -> Poly t Revlex -> Poly t Revlex

(NFData t, Num t, Eq t) => RightModule Integer (Poly t Revlex)

Defined in Polynomial.Polynomial

Methods

(*.) :: Poly t Revlex -> Integer -> Poly t Revlex

(NFData t, Num t, Eq t) => RightModule Natural (Poly t Revlex)

Defined in Polynomial.Polynomial

Methods

(*.) :: Poly t Revlex -> Natural -> Poly t Revlex

(NFData t, Eq t) => Eq (Poly t ord)

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)

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)

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)

Defined in Polynomial.Polynomial

Methods

rnf :: Poly t ord -> ()

(NFData t, Num t, Eq t) => Group (Poly t Revlex)

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)

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)

Defined in Polynomial.Polynomial

(NFData t, Num t, Eq t) => Monoidal (Poly t Revlex)

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)

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)

Defined in Polynomial.Polynomial

type Rep (Poly t ord)

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

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

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

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

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

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

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

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

max' :: [Int] -> Int

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

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

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

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

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

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

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

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

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

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

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

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

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