This online help node and the nodes below it present the functions designed for computing with finitely-presented semigroups (fp-semigroups for short).