freemodule-0.0: Free modules Contents Index

Data.FreeModule.SortedList

Description

Free modules implemented as sorted lists of (base,coeff) pairs. The functions coeff, maxTerm, split, unsafeJoin are slow in this implementation.

Documentation

data FreeMod b c

Instances (Eq b, Eq c) => Eq (FreeMod b c) (Ord b, Ord c) => Ord (FreeMod b c) (Show b, Show c) => Show (FreeMod b c) (Ord b, Num c) => FreeModule (FreeMod b c)

type ZModule b = FreeMod b Integer

type QModule b = FreeMod b Rational

Produced by Haddock version 2.4.1