Safe Haskell	Safe-Inferred
Language	Haskell98

Numeric.Algebra.Hopf

Synopsis

class Bialgebra r h => HopfAlgebra r h where
- antipode :: (h -> r) -> h -> r

Documentation

class Bialgebra r h => HopfAlgebra r h where Source #

A HopfAlgebra algebra on a semiring, where the module is free.

When antipode . antipode = id and antipode is an antihomomorphism then we are an InvolutiveBialgebra with inv = antipode as well

Methods

antipode :: (h -> r) -> h -> r Source #

Instances

Instances details

(InvolutiveSemiring k, Rng k) => HopfAlgebra k ComplexBasis Source #
Instance details Defined in Numeric.Algebra.Complex Methods antipode :: (ComplexBasis -> k) -> ComplexBasis -> k Source #
(InvolutiveSemiring k, Rng k) => HopfAlgebra k DualBasis Source #
Instance details Defined in Numeric.Algebra.Dual Methods antipode :: (DualBasis -> k) -> DualBasis -> k Source #
(Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k HyperBasis' Source #
Instance details Defined in Numeric.Algebra.Hyperbolic Methods antipode :: (HyperBasis' -> k) -> HyperBasis' -> k Source #
(InvolutiveSemiring k, Rng k) => HopfAlgebra k DualBasis' Source #
Instance details Defined in Numeric.Coalgebra.Dual Methods antipode :: (DualBasis' -> k) -> DualBasis' -> k Source #
(Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k HyperBasis Source #
Instance details Defined in Numeric.Coalgebra.Hyperbolic Methods antipode :: (HyperBasis -> k) -> HyperBasis -> k Source #
(Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k TrigBasis Source #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods antipode :: (TrigBasis -> k) -> TrigBasis -> k Source #
(TriviallyInvolutive r, InvolutiveSemiring r, Rng r) => HopfAlgebra r QuaternionBasis Source #
Instance details Defined in Numeric.Algebra.Quaternion Methods antipode :: (QuaternionBasis -> r) -> QuaternionBasis -> r Source #
(TriviallyInvolutive r, InvolutiveSemiring r, Rng r) => HopfAlgebra r QuaternionBasis' Source #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods antipode :: (QuaternionBasis' -> r) -> QuaternionBasis' -> r Source #
(HopfAlgebra r a, HopfAlgebra r b) => HopfAlgebra r (a, b) Source #
Instance details Defined in Numeric.Algebra.Hopf Methods antipode :: ((a, b) -> r) -> (a, b) -> r Source #
(HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c) => HopfAlgebra r (a, b, c) Source #
Instance details Defined in Numeric.Algebra.Hopf Methods antipode :: ((a, b, c) -> r) -> (a, b, c) -> r Source #
(HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c, HopfAlgebra r d) => HopfAlgebra r (a, b, c, d) Source #
Instance details Defined in Numeric.Algebra.Hopf Methods antipode :: ((a, b, c, d) -> r) -> (a, b, c, d) -> r Source #
(HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c, HopfAlgebra r d, HopfAlgebra r e) => HopfAlgebra r (a, b, c, d, e) Source #
Instance details Defined in Numeric.Algebra.Hopf Methods antipode :: ((a, b, c, d, e) -> r) -> (a, b, c, d, e) -> r Source #