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)

Methods

(==) :: Linear z r c -> Linear z r c -> Bool

(/=) :: Linear z r c -> Linear z r c -> Bool

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

Methods

compare :: Linear z r c -> Linear z r c -> Ordering

(<) :: Linear z r c -> Linear z r c -> Bool

(<=) :: Linear z r c -> Linear z r c -> Bool

(>) :: Linear z r c -> Linear z r c -> Bool

(>=) :: Linear z r c -> Linear z r c -> Bool

max :: Linear z r c -> Linear z r c -> Linear z r c

min :: Linear z r c -> Linear z r c -> 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