algebra-4.3: Constructive abstract algebra

Numeric.Band.Rectangular

Synopsis

# Documentation

data Rect i j Source #

a rectangular band is a nowhere commutative semigroup. That is to say, if ab = ba then a = b. From this it follows classically that aa = a and that such a band is isomorphic to the following structure

Constructors

 Rect i j

Instances