Data.LinearProgram.LinExpr

Documentation

data LinExpr v c

Constructors

LinExpr (LinFunc v c) c

Instances

(Ring r, Group (LinExpr v c), Ord v, Module r c) => Module r (LinExpr v c)

(Eq v, Eq c) => Eq (LinExpr v c)

(Ord v, Read v, Read c) => Read (LinExpr v c)

(Show v, Show c) => Show (LinExpr v c)

(Ord v, Group c) => Group (LinExpr v c)

solve :: (Ord v, Eq c, VectorSpace c c) => [(LinFunc v c, c)] -> Maybe (Map v (LinExpr v c))

substituteExpr :: (Ord v, Module c c) => v -> LinExpr v c -> LinExpr v c -> LinExpr v c

simplifyExpr :: (Ord v, Module c c) => LinExpr v c -> Map v (LinExpr v c) -> LinExpr v c

constTerm :: LinExpr v c -> c

coeffTerm :: LinExpr v c -> LinFunc v c

funcToExpr :: Group c => LinFunc v c -> LinExpr v c