Deals with the interplay of computational commutative algebra and the theory of convex polytopes. This title centers around a special class of ideals in a polynomial ring: the class of toric ideals. They are characterized as those prime ideals that are generated by monomial differences or as the defining ideals of toric varieties.