# Can sage determine if a cone is gorenstein?

Let M and N be dual lattices of rank d. A d-dimensional rational finite polyhedral cone C is called a *Gorenstein cone* if it is generated by finitely many lattice points which are contained in an affine hyperplane ${x in M_RR : <x,n>=1}$ for some n in N.

Does sage have the capibility to determine if a given cone is Gorenstein?

Normaliz might be useful here. It's an optional package of sage and if you have it installed you can use it:

I'm not sure, whether or not the definition in normaliz agrees with your definition.