The octahedron was taken from the book Computations in algebraic geometry with Macaulay 2, edited by David Eisenbud, Daniel R. Grayson, Michael E. Stillman, and Bernd Sturmfels