Documentation

commutator :: forall {g :: Type -> Type} {a}. (Scalar (g a) ~ a, VectorSpace ((g :*: g) a), InnerProductSpace (g a), ConjugateSymmetric a, Transposable g g a, Num a) => (g :*: g) a -> (g :*: g) a -> (g :*: g) (Scalar (g a)) Source #

characteristicPolynomial :: (LinearTraceable LinearMap m a, VectorSpace (m a), Linearizable LinearMap (:*:) m m a, LinearTransform m m a, Scalar (m a) ~ a) => (m a :-> m a) -> a -> a Source #