The first half of this chapter presents the basic functions designed for computing with finitely-presented algebras (fp-algebras for short). The second half describes Steve Linton's vector enumeration functions.