algebra-3.0.1: Constructive abstract algebra

Safe HaskellNone

Numeric.Algebra.Hopf

Synopsis

Documentation

class Bialgebra r h => HopfAlgebra r h whereSource

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 -> rSource