Safe Haskell	None
Language	Haskell2010

Factory.Data.MonicPolynomial

Contents

Description

Describes a monic polynomial; <https:en.wikipedia.orgwiki/Monic_polynomial#Classifications>; ie. in which the coefficient of the leading term is one.

Synopsis

Types

Data-types

A type of Polynomial, in which the leading term is required to have a coefficient of one.

Instances details

(Eq c, Eq e) => Eq (MonicPolynomial c e) Source #
Instance details Defined in Factory.Data.MonicPolynomial Methods (==) :: MonicPolynomial c e -> MonicPolynomial c e -> Bool # (/=) :: MonicPolynomial c e -> MonicPolynomial c e -> Bool #
(Show c, Show e) => Show (MonicPolynomial c e) Source #
Instance details Defined in Factory.Data.MonicPolynomial Methods showsPrec :: Int -> MonicPolynomial c e -> ShowS # show :: MonicPolynomial c e -> String # showList :: [MonicPolynomial c e] -> ShowS #
(Eq c, Num c, Num e, Ord e, Show c, Show e) => Ring (MonicPolynomial c e) Source #
Instance details Defined in Factory.Data.MonicPolynomial Methods (=+=) :: MonicPolynomial c e -> MonicPolynomial c e -> MonicPolynomial c e Source # (=*=) :: MonicPolynomial c e -> MonicPolynomial c e -> MonicPolynomial c e Source # additiveInverse :: MonicPolynomial c e -> MonicPolynomial c e Source # multiplicativeIdentity :: MonicPolynomial c e Source # additiveIdentity :: MonicPolynomial c e Source # (=-=) :: MonicPolynomial c e -> MonicPolynomial c e -> MonicPolynomial c e Source # square :: MonicPolynomial c e -> MonicPolynomial c e Source #
(Eq c, Num c, Num e, Ord e, Show c, Show e) => QuotientRing (MonicPolynomial c e) Source #
Instance details Defined in Factory.Data.MonicPolynomial Methods quotRem' :: MonicPolynomial c e -> MonicPolynomial c e -> (MonicPolynomial c e, MonicPolynomial c e) Source #

Smart constructor. Constructs an arbitrary monic polynomial.