Safe Haskell | None |
---|
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
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
lobattoIIIAFourthOrder :: SingI Nat d => Double -> (Double -> [Multivector d Double] -> [Multivector d Double]) -> (Double, [Multivector d Double]) -> (Double, [Multivector d Double])Source
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