Fixed display.
Converted polytopes results to Inequality.