clifford-0.1.0.12: A Clifford algebra library

Safe HaskellNone

Numeric.Clifford.NumericIntegration.DefaultIntegrators

Documentation

gaussLegendreFourthOrderTableau :: ButcherTableau DoubleSource

gaussLegendreFourthOrder :: (SingI Nat p, SingI Nat q) => Double -> (Double -> [Multivector p q Double] -> [Multivector p q Double]) -> (Double, [Multivector p q Double]) -> (Double, [Multivector p q Double])Source

rk4ClassicalFromTableau :: (Fractional t, Ord t, Show t, SingI Nat p, SingI Nat q, C t, C t) => t -> (t -> [Multivector p q t] -> [Multivector p q t]) -> (t, [Multivector p q t]) -> (t, [Multivector p q t])Source

implicitEulerMethod :: (SingI Nat p, SingI Nat q) => Double -> (Double -> [Multivector p q Double] -> [Multivector p q Double]) -> (Double, [Multivector p q Double]) -> (Double, [Multivector p q Double])Source

lobattoIIIASecondOrderTableau :: ButcherTableau DoubleSource

lobattoIIIASecondOrder :: (SingI Nat p, SingI Nat q) => Double -> (Double -> [Multivector p q Double] -> [Multivector p q Double]) -> (Double, [Multivector p q Double]) -> (Double, [Multivector p q Double])Source

lobattoIIIAFourthOrderWithTol :: (SingI Nat p, SingI Nat q) => Double -> (Double -> [Multivector p q Double] -> [Multivector p q Double]) -> (Double, [Multivector p q Double]) -> (Double, [Multivector p q Double])Source

lobattoIIIAFourthOrderTableau :: ButcherTableau DoubleSource

lobattoIIIAFourthOrder :: (SingI Nat p, SingI Nat q) => Double -> (Double -> [Multivector p q Double] -> [Multivector p q Double]) -> (Double, [Multivector p q Double]) -> (Double, [Multivector p q Double])Source

lobattoIIIBFourthOrderTableau :: ButcherTableau DoubleSource

lobattoIIIBFourthOrder :: (SingI Nat p, SingI Nat q) => Double -> (Double -> [Multivector p q Double] -> [Multivector p q Double]) -> (Double, [Multivector p q Double]) -> (Double, [Multivector p q Double])Source

rk4Classical :: (Ord a, C a, SingI p, SingI q) => stateType -> a -> (stateType -> stateType) -> ([Multivector p q a] -> stateType) -> (stateType -> [Multivector p q a]) -> stateTypeSource

rk4ClassicalList :: (Ord a, SingI Nat p, SingI Nat q, C a) => [Multivector p q a] -> a -> ([Multivector p q a] -> [Multivector p q a]) -> [Multivector p q a]Source