Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Defines a set of Ideas rules that may be used for rewriting expressions.
Documentation
liftRule :: Rule (Equation Expr) -> Rule (Relation Expr) Source #
Lifts any rule that may be applied to an equation to a rule that can be applied to relations
removeTimes :: Rule (Relation Expr) Source #
Allows a rewrite that attempts to remove multiplications by division
>>>
2 * 2 + 4 * a = 8
>>>
2 + 2 * a = 4
distributeDivision :: Rule Expr Source #
Rule wrapper over distributeDivisionT