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 xinMRR:<x,n>=1 for some n in N.
Does sage have the capibility to determine if a given cone is Gorenstein?
