Extensions

DirectProduct(R, S) : SgpFP, SgpFP -> SgpFP

Given two fp-semigroups R and S, construct the direct product of R and S.

FreeProduct(R, S) : SgpFP, SgpFP -> SgpFP

Given two fp-semigroups R and S, construct the free product of R and S.