amb_space 1
inequalities 1
1
inhom_excluded_faces 1
-1 1
EhrhartSeries
IsEmptySemiOpen
