A toric variety is an integral scheme such that an algebraic torus forms a Zariski open subscheme and the natural action this torus on itself extends to an action on the entire scheme. Normal toric varieties correspond to strongly convex rational polyhedral fans. This makes the theory of normal toric varieties very explicit and computable.
This Macaulay2 package is designed to manipulate normal toric varieties and related geometric objects. An introduction to the theory of normal toric varieties can be found in the following textbooks:
The following people have generously contributed code or worked on our code.