| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Howl.Builtins.Algebra
Description
Algebraic normalization builtins.
Synopsis
- addAlgebraBuiltins :: Eval ()
- normalizePlus :: Seq Expr -> Expr
Documentation
addAlgebraBuiltins :: Eval () #
Register the algebraic normalization builtins.
This defines:
Plus
Times
Power
Sqrt
MultinomialPowerExpand
normalizePlus :: Seq Expr -> Expr #
Normalize the arguments of a Plus expression by combining
numeric terms and like terms.