*lrs:lrslib v.4.2c, 2009.9.10(32bit,lrsmp.h) max digits=12/100 *11x1 + 6x2 + 6x3 + 5x4 + 5x5 + 4x6 +x7 <= 14 *modified ex9.6 integer hull H-representation begin 19 8 rational 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 1 -1 0 0 0 0 -1 0 1 -1 0 0 0 -1 0 0 1 -1 0 0 -1 0 0 0 1 -1 0 -1 0 0 0 0 1 -1 -1 0 0 0 0 0 2 -2 -1 -1 0 -1 -1 0 2 -2 -1 -1 -1 0 -1 0 2 -2 -1 -1 -1 -1 0 0 3 -2 -1 -1 -1 -1 -1 -1 3 -3 -1 -2 -1 -1 -1 0 3 -3 -2 -1 -1 -1 -1 0 *0.031u 0.015s 2812Kb 700 flts 0 swaps 0 blks-in 0 blks-out *Totals: facets=19 bases=255 *Volume= 17/336 end