| Copyright | Copyright 2024 Yoo Chung |
|---|---|
| License | Apache-2.0 |
| Maintainer | dev@chungyc.org |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
Symtegration.Integration.Sum
Description
Synopsis
- integrate :: [Text -> Expression -> Maybe Expression] -> Text -> Expression -> Maybe Expression
Documentation
Arguments
| :: [Text -> Expression -> Maybe Expression] | Functions for directly integrating each term. |
| -> Text | The variable being integrated over. |
| -> Expression | The expression being integrated. |
| -> Maybe Expression | The integral, if successful. |
Integrate term by term and returns the sum, using direct methods on each term.
>>>import Symtegration.Integration.Powers qualified as P>>>import Symtegration.Integration.Trigonometric qualified as T>>>let f = "x" + sin "x">>>P.integrate "x" fNothing>>>T.integrate "x" fNothing>>>let g = integrate [P.integrate, T.integrate] "x" f>>>toHaskell . simplify <$> gJust "(-1) * cos x + 1 / 2 * x ** 2"