SAGE includes support for computing with lattice and reflexive polytopes and groebner fans. It also has optional support for computing with general polytopes via the polymake program.