Polynomial time multiplication and normal forms in free bands

R. Cirpons, J. D. Mitchell

We present efficient computational solutions to the problems of checking equality, performing multiplication, and computing minimal representatives of elements of free bands. A ban…