clifford-0.1.0.0: A Clifford algebra library

Safe HaskellNone

Numeric.Clifford.NumericIntegration.DefaultIntegrators

Documentation

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

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

lobattoIIIASecondOrderTableau :: ButcherTableau DoubleSource

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

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

lobattoIIIAFourthOrderTableau :: ButcherTableau DoubleSource

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

lobattoIIIBFourthOrderTableau :: ButcherTableau DoubleSource

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

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

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