License | MIT |
---|---|
Safe Haskell | None |
Language | Haskell2010 |
Language.Egison.Math.Normalize
Description
This module implements the normalization of polynomials. Normalization rules for particular mathematical functions (such as sqrt and sin/cos) are defined in Rewrite.hs.