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\).