Math.RootLoci.Algebra

Re-exporting the Algebra.* modules.

Because of limitations of the import-export mechanism, you still have to do

import Math.RootLoci.Algebra
import qualified Math.RootLoci.Algebra.FreeMod as ZMod

Documentation

type ZMod base = FreeMod Integer base

Free module with integer coefficients

type QMod base = FreeMod Rational base

Free module with rational coefficients

data FreeMod coeff base

Free module over a coefficient ring with the given base. Internally a map storing the coefficients. We maintain the invariant that the coefficients are never zero.

Instances

(Eq coeff, Eq base) => Eq (FreeMod coeff base)

Methods

(==) :: FreeMod coeff base -> FreeMod coeff base -> Bool

(/=) :: FreeMod coeff base -> FreeMod coeff base -> Bool

(Monoid b, Ord b, Eq c, Num c) => Num (FreeMod c b)

Methods

(+) :: FreeMod c b -> FreeMod c b -> FreeMod c b

(-) :: FreeMod c b -> FreeMod c b -> FreeMod c b

(*) :: FreeMod c b -> FreeMod c b -> FreeMod c b

negate :: FreeMod c b -> FreeMod c b

abs :: FreeMod c b -> FreeMod c b

signum :: FreeMod c b -> FreeMod c b

fromInteger :: Integer -> FreeMod c b

(Show coeff, Show base) => Show (FreeMod coeff base)

Methods

showsPrec :: Int -> FreeMod coeff base -> ShowS

show :: FreeMod coeff base -> String

showList :: [FreeMod coeff base] -> ShowS

(Num c, Eq c, Show c, IsSigned c, Pretty b) => Pretty (FreeMod c b)

Methods

pretty :: FreeMod c b -> String

module Math.RootLoci.Algebra.Polynomial

module Math.RootLoci.Algebra.SymmPoly