algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Algebra.Idempotent

Contents

Synopsis

Documentation

class Multiplicative r => Band r Source #

An multiplicative semigroup with idempotent multiplication.

a * a = a

Instances

Band Bool Source # 
Band () Source # 
Band r => Band (Opposite r) Source # 
Idempotent r => Band (Exp r) Source # 
(Band a, Band b) => Band (a, b) Source # 
Band (Rect i j) Source # 
(Idempotent r, IdempotentCoalgebra r a) => Band (Covector r a) Source # 
(Band a, Band b, Band c) => Band (a, b, c) Source # 
(Band a, Band b, Band c, Band d) => Band (a, b, c, d) Source # 
(Band a, Band b, Band c, Band d, Band e) => Band (a, b, c, d, e) Source # 

pow1pBand :: r -> Natural -> r Source #

powBand :: Unital r => r -> Natural -> r Source #

Idempotent algebras