Math.RootLoci.Algebra.FreeMod

data FreeMod coeff base

type ZMod base

type QMod base

Sanity checking

normalize

safeEq

Constructing and deconstructing

zero

generator

singleton

fromList

toList

coeffOf

findMaxTerm

findMinTerm

Basic operations

neg

add

sub

scale

invScale

sum

linComb

flatMap

flatMap'

histogram

Rings

one

konst

mul

product

mulMonom

Misc

symPoly

mapBase

mapCoeff

filterBase

onFreeMod

onFreeMod'