symtegration-0.6.1: Library for symbolic integration of mathematical expressions.

Symtegration is a library providing symbolic integration of mathematical expressions.

For example,

>>> import Symtegration
>>> toHaskell <$> integrate "x" (4 * "x" ** 3 + 1)
Just "x + x ** 4"

See the Symtegration module for the main interface.

Modules

symtegration-0.6.1

Symtegration Library for symbolic integration of mathematical expressions.
Submodules
- Symtegration.Differentiation Differentiate mathematical expressions.
- Symtegration.Integration Symbolically integrates mathematical expressions.
  Submodules
  - Symtegration.Integration.Exponential Basic integration of exponential and logarithmic functions.
  - Symtegration.Integration.Factor Factor a term into constant and non-constant parts.
  - Symtegration.Integration.Monomial Integration of functions in a monomial extension.
  - Symtegration.Integration.Parts Integration by parts.
  - Symtegration.Integration.Powers Integration of arbitrary powers of a variable.
  - Symtegration.Integration.Rational Integration of rational functions.
  - Symtegration.Integration.Substitution Integration by substitution.
  - Symtegration.Integration.Sum Integrates the sum of multiple terms in an expression.
  - Symtegration.Integration.Term Integrates a single term.
  - Symtegration.Integration.Trigonometric Basic integration of trigonometric functions.
- Symtegration.Numeric Numerical algorithms that are useful for implementing symbolic integration.
- Symtegration.Polynomial Polynomials for Symtegration.
  Submodules
  - Symtegration.Polynomial.Differential Polynomials with differential fields.
  - Symtegration.Polynomial.Indexed A polynomial representation mapping the power of each term to its coefficient.
  - Symtegration.Polynomial.Rational Representation for rational functions.
  - Symtegration.Polynomial.Solve Derive the roots of polynomials with rational coefficients.
  - Symtegration.Polynomial.Symbolic Conversion between data structures storing general mathematical expressions and those specialized for storing polynomials.
- Symtegration.Symbolic Library for symbolically representing mathematical expressions.
  Submodules
  - Symtegration.Symbolic.Haskell Converts a symbolic representation of a mathematical expression into equivalent Haskell code.
  - Symtegration.Symbolic.LaTeX Converts a symbolic representation of a mathematical expression into equivalent LaTeX text.
  - Symtegration.Symbolic.Simplify Simplifes symbolic representations of mathematical expressions.
    Submodules
    Symtegration.Symbolic.Simplify.AlgebraicRingOrder Order terms in a mathematical expression according to a deterministic order.
    Symtegration.Symbolic.Simplify.Fraction Cancel out common numeric factors in fractions.
    Symtegration.Symbolic.Simplify.NumericFolding Constant folding of numeric constants.
    Symtegration.Symbolic.Simplify.SymbolicFolding Folding of symbolic terms.
    Symtegration.Symbolic.Simplify.Tidy Tidy up a simplified mathematical expression.