polytope: RationalPolytope Properties
Integral lattice points
N_NON_NEG_INT
:
cardinal
Number of non-negative interior lattice points