Safe Haskell | None |
---|
Documentation
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
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
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
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