Recognize.Strategy.Applications

This module exposes a set of functions for manipulating and parsing expressions using strategies.

Documentation

normalize :: Expr -> (Expr, [Attribute])

Normalizes (commutativity, associativity, distributivity, etc) an expression. Returns a product of a normalized expression and applied rewrites

simplify :: Expr -> (Expr, [Attribute])

Simplifies an expression. Returns a product of the simplified expression and applied rewrites.

pSolveLinear :: (ParseLog m, Parse m Math, Relational f) => Maybe (f Expr, Math) -> m (Relation Expr, [Step])

Parses expressions that solve a linear equation. Returns the steps (containing rewrites) taken.