Language.Egison.Math.Normalize

This module implements the normalization of polynomials. Normalization rules for particular mathematical functions (such as sqrt and sin/cos) are defined in Rewrite.hs.

Documentation

mathNormalize' :: ScalarData -> ScalarData

termsGcd :: [TermExpr] -> TermExpr

mathDivideTerm :: TermExpr -> TermExpr -> TermExpr