Numeric.Limp.Canon.Linear

Representation of subset of linear functions: only variables and coefficients, no constant summand

Documentation

data Linear z r c

Linear function is represented as a map from either a integral variable or an real variable, to a real coefficient.

Constructors

Linear (Map (Either z r) (R c))

Instances

(Ord z, Ord r, Rep c) => Eq (Linear z r c)

(Ord z, Ord r, Rep c) => Ord (Linear z r c)

mkLinear :: (Ord z, Ord r, Rep c) => [(Either z r, R c)] -> Linear z r c

Create linear function from list of variables and coefficients

evalR :: (Rep c, Ord z, Ord r) => Assignment z r c -> Linear z r c -> R c

Evaluate linear function with given assignment

varsOfLinear :: (Ord z, Ord r) => Linear z r c -> Set (Either z r)

Find set of all variables mentioned in function