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.
V2.28, 13 July 2023