| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
SoPSat.Internal.NewtonsMethod
Synopsis
- evalSoP :: (Ord f, Ord c, Floating n) => SoP f c -> Map (Atom f c) n -> n
- evalProduct :: (Ord f, Ord c, Floating n) => Product f c -> Map (Atom f c) n -> n
- evalSymbol :: (Ord f, Ord c, Floating n) => Symbol f c -> Map (Atom f c) n -> n
- derivative :: (Ord f, Ord c, Floating n) => SoP f c -> Atom f c -> Map (Atom f c) n -> n
- derivativeProduct :: (Ord f, Ord c, Floating n) => Product f c -> Atom f c -> Map (Atom f c) n -> n
- derivativeSymbol :: (Ord f, Ord c, Floating n) => Symbol f c -> Atom f c -> Map (Atom f c) n -> n
- newtonMethod :: (Ord f, Ord c, Ord n, Floating n) => SoP f c -> Either (Map (Atom f c) n) (Map (Atom f c) n)
Documentation
Arguments
| :: (Ord f, Ord c, Floating n) | |
| => SoP f c | Expression to evaluate |
| -> Map (Atom f c) n | Bindings from atoms to values |
| -> n | Evaluation result |
Evaluates SoP given atom bindings
Arguments
| :: (Ord f, Ord c, Floating n) | |
| => Product f c | Product to evalute |
| -> Map (Atom f c) n | Atom bindings |
| -> n | Evaluation results |
Evaluates product given atom bindings
Used by evalSoP
Arguments
| :: (Ord f, Ord c, Floating n) | |
| => Symbol f c | Symbol to evaluate |
| -> Map (Atom f c) n | Atom bindings |
| -> n | Evaluation result |
Evaluates symbol given atom bindings
Used by evalProduct
Arguments
| :: (Ord f, Ord c, Floating n) | |
| => SoP f c | Expression to take a derivative of |
| -> Atom f c | Atom to take a derivetive with respect to |
| -> Map (Atom f c) n | Function from bindings, representing point, to value of the derivative at that point |
| -> n |
Analitically computes derivative of an expression with respect to an atom
Returns function similar to evalSoP
Arguments
| :: (Ord f, Ord c, Floating n) | |
| => Product f c | Product to take a derivative of |
| -> Atom f c | Atom to take a derivative with respect to |
| -> Map (Atom f c) n | Function from bindings to a value |
| -> n |
Analitically computes derivative of a product with respect to an atom
Used by derivative