Hackage :: [Package]

symtegration: Library for symbolic integration of mathematical expressions.

[ apache, library, mathematics, symbolic-computation ] [ Propose Tags ] [ Report a vulnerability ]
Versions [RSS] 0.6.1
Change log CHANGELOG.md
Dependencies ad (>=4.5 && <4.6), base (>=4.18 && <4.22), containers (>=0.6 && <0.8), text (>=2.0 && <2.2), text-show (>=3.10 && <3.12) [details]
Tested with ghc ==9.12.1 || ==9.10.1 || ==9.8.4 || ==9.6.6
License Apache-2.0
Copyright Copyright 2025 Yoo Chung
Author Yoo Chung
Maintainer dev@chungyc.org
Category Mathematics, Symbolic Computation
Home page https://symtegration.dev/
Bug tracker https://github.com/symtegration/symtegration/issues
Source repo head: git clone https://github.com/symtegration/symtegration
Uploaded by chungyc at 2025-01-30T20:41:47Z
Distributions NixOS:0.6.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 42 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2025-01-30 [all 1 reports]

Readme for symtegration-0.6.1

[back to package description]

Symtegration

This is a Haskell library intended to support symbolic integration of mathematical expressions.

It offers the following:

  • Symbolic integration of mathematical expressions.

    • Integration of polynomials.

    • Integration of trigonometric functions.

    • Integration of exponential and logarithmic functions.

    • Integration of ratios of two polynomials.

    • Integration by substitution.

    • Integration by parts.

  • Symbolic representation of mathematical expressions.

  • Utility functions to make it easier to read the mathematical expressions. For example, deriving equivalent Haskell code for a mathematical expression, and some support for simplifying symbolic representations.

Build OpenSSF Best Practices OpenSSF Scorecard codecov

Integration

Mathematical expressions with either numeric coefficients or symbolic coefficients can be integrated. For example:

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

Concrete numbers can also be computed from these integrals. For example:

>>> import Symtegration
>>> let (Just p) = integrate "x" (4 * "x" ** 3 + 1)
>>> fractionalEvaluate p (\case "x" -> Just (3 / 7 :: Rational))
Just (1110 % 2401)

Symbolic integration in GHCi

With Symtegration, symbolic integration can be done within GHCi. When executing GHCi within the Symtegration project, it is best to load only the Symtegration module to avoid name collisions, so start GHCi without loading any modules.

$ stack ghci --no-load

Within GHCi, explicitly load the Symtegration module. You can then proceed to symbolically integrate mathematical expressions and compute approximate or exact values from these integrals.

>>> :load Symtegration
>>> toHaskell <$> integrate "x" ("a" * "x" ** 4 + "x" + "b")
Just "b * x + 1 / 2 * x ** 2 + a * (x ** 5) / 5"
>>>
>>> let (Just p) = integrate "x" ("x" ** 2)
>>> evaluate p (\case "x" -> Just 1)
Just 0.3333333333333333
>>>
>>> fractionalEvaluate p (\case "x" -> Just (1 :: Rational))
Just (1 % 3)

Symbolic integration in IHaskell

Symtegration can also be used in IHaskell to do symbolic integration. Its use can be seen in an example IHaskell notebook, which you can try out by running on mybinder.org.

Changes

See CHANGELOG.md for what has changed.

Code of conduct

Be nice; see CODE_OF_CONDUCT.md for details.

Security policy

See SECURITY.md for details.

Contributing

See CONTRIBUTING.md for details.

License

Apache 2.0; see LICENSE for details.