Numeric.Algebra.Idempotent

class Band r

pow1pBand

powBand

Idempotent algebras

class IdempotentAlgebra r a

class IdempotentCoalgebra r c

class IdempotentBialgebra r h