This Chapter presents the functions designed for computing with finitely-presented semigroups (fp-semigroups for short).