Maintainer bastiaan.heeren@ou.nl provisional portable (depends on ghc) None Haskell98

Recognize.Strategy.Rules

Description

Defines a set of Ideas rules that may be used for rewriting expressions.

Synopsis

# Documentation

Lifts any rule that may be applied to an equation to a rule that can be applied to relations

Allows a rewrite that attempts to remove multiplications by division

>>> 2 * 2 + 4 * a = 8
>>> 2 + 2 * a = 4


Rule wrapper over distributeDivisionT

Collect (natural) numbers

Collect variables