cov4 :: (Num a, ConjugateSymmetric a) => Vector4 (Dual (Vector4 a)) Source #

diagonal_projections4 :: (Num a, ConjugateSymmetric a) => Vector4 (Dual (Vector4 a)) Source #

index4_dual :: (Num a, ConjugateSymmetric a) => Int -> Dual (Vector4 a) Source #

partial_derivate4x :: Closed a => (Vector4 a -> a) -> Vector4 a -> a Source #

partial_derivate4y :: Closed a => (Vector4 a -> a) -> Vector4 a -> a Source #

partial_derivate4z :: Closed a => (Vector4 a -> a) -> Vector4 a -> a Source #

partial_derivate4t :: Closed a => (Vector4 a -> a) -> Vector4 a -> a Source #

derivate4t_squared :: (Closed a, ConjugateSymmetric a) => Dual (Vector4 a) -> Dual (Vector4 a) Source #

derivate4t :: (Closed a, ConjugateSymmetric a) => Dual (Vector4 a) -> Dual (Vector4 a) Source #

derivate4x :: (Closed a, ConjugateSymmetric a) => Dual (Vector4 a) -> Dual (Vector4 a) Source #

derivate4y :: (Closed a, ConjugateSymmetric a) => Dual (Vector4 a) -> Dual (Vector4 a) Source #

derivate4z :: (Closed a, ConjugateSymmetric a) => Dual (Vector4 a) -> Dual (Vector4 a) Source #

del_partial4 :: DifferentiallyClosed a => (Vector4 a -> a) -> Vector4 a -> Vector4 a Source #

del4 :: (Closed a, ConjugateSymmetric a) => Vector4 (Dual (Vector4 a) -> Dual (Vector4 a)) Source #

del4_ :: Closed a => Vector4 ((Vector4 a -> a) -> Vector4 a -> a) Source #

hessian4 :: (Closed v, ConjugateSymmetric v) => Dual (Vector4 v) -> (Vector4 :*: Vector4) (Dual (Vector4 v)) Source #

grad4 :: (Closed a, ConjugateSymmetric a) => Dual (Vector4 a) -> LinearMap (Vector4 a) (Vector4 a) Source #

curl4 :: (Closed a, ConjugateSymmetric a, LinearTransform Vector4 Vector1 a) => Vector4 (Dual (Vector4 a)) -> Vector4 a -> (Vector4 :*: Vector4) a Source #

divergence4 :: (Closed a, ConjugateSymmetric a) => (Vector4 a :-> Vector4 a) -> Dual (Vector4 a) Source #

laplace4 :: (Closed a, ConjugateSymmetric a) => Dual (Vector4 a) -> Dual (Vector4 a) Source #

vector_laplace4 :: (VectorDerivative (v a) Dual LinearMap, Dualizable (v a) Dual, Diagonalizable v a, LinearTransform v Vector4 a, LinearTransform v Vector1 a, Linearizable LinearMap (:*:) v Vector4 a, Linearizable LinearMap (:*:) v Vector1 a) => (v a :-> Vector4 a) -> v a :-> Vector4 a Source #

linear_dual_4t :: (Dualizable (v a) Dual, Diagonalizable v a, LinearTransform v Vector4 a, Linearizable LinearMap (:*:) v Vector1 a) => (v a :-> Vector4 a) -> Dual (v a) Source #

linear_dual_4x :: (Dualizable (v a) Dual, Diagonalizable v a, LinearTransform v Vector4 a, Linearizable LinearMap (:*:) v Vector1 a) => (v a :-> Vector4 a) -> Dual (v a) Source #

linear_dual_4y :: (Dualizable (v a) Dual, Diagonalizable v a, LinearTransform v Vector4 a, Linearizable LinearMap (:*:) v Vector1 a) => (v a :-> Vector4 a) -> Dual (v a) Source #

linear_dual_4z :: (Dualizable (v a) Dual, Diagonalizable v a, LinearTransform v Vector4 a, Linearizable LinearMap (:*:) v Vector1 a) => (v a :-> Vector4 a) -> Dual (v a) Source #