*p.148 ex 9.6 integer hull facets H-representation begin 25 8 rational 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 3 -2 -1 -1 -1 -1 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 2 -1 0 0 0 -1 -1 0 0 0 0 1 0 0 0 0 2 -1 0 0 -1 -1 0 0 1 0 0 0 -1 0 0 0 2 -1 0 0 -1 0 -1 0 0 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 -1 -1 -1 0 0 0 0 2 -1 0 -1 -1 0 0 0 2 -1 -1 0 -1 0 0 0 0 0 0 0 0 1 0 0 2 -1 -1 0 0 -1 0 0 2 -1 -1 0 0 0 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 1 0 0 0 2 -1 0 -1 0 -1 0 0 1 0 0 -1 0 0 0 0 2 -1 0 -1 0 0 -1 0 end *Volume= 17/60 *Totals: facets=25 bases=1428 *lrs:lrslib v.4.2c, 2009.9.10(32bit,lrsmp.h) max digits=12/100 *0.202u 0.046s 3152Kb 785 flts 0 swaps 0 blks-in 0 blks-out