Path: blob/master/build/pkgs/cddlib/tests/output/irbox20-4.ext
8820 views
V-representation begin 14 4 rational 1 -45 1 47 1 5 -11 28 1 17 -43 17 1 -46 8 -15 1 35 -26 -6 1 41 -3 -8 1 -46 49 40 1 -18 -29 46 1 -20 -25 -2 1 -22 -9 -32 1 31 46 5 1 -44 -5 40 1 -2 4 32 1 -27 40 -48 end H-representation begin 24 4 rational 18563/17 -1 593/17 25 35825/391 -501/391 1 1354/391 8158/59 1 268/59 139/59 30933/37 -774/37 1 -952/37 29717/56 197/28 869/56 1 17417/122 -447/244 -1 -543/122 13393/14 141/7 309/14 1 3799/33 17/11 47/33 -1 24041/95 -129/95 -1 -633/95 163243/779 3113/779 -55/41 1 18829 421 69 1 133587/41 2927/41 55/41 -1 63443/469 1105/469 1 1091/469 17141/68 823/136 351/68 1 3519/35 391/175 377/175 1 7262/17 -171/17 -1 -471/34 8110/19 -191/19 -1 -263/19 1625/14 -47/28 -1 -101/28 92115/17 1 -2037/17 212/17 49373/10 -1363/10 1 -758/5 59123/62 -1745/62 1 -788/31 40881/428 -2519/1284 -1 1451/642 24949/188 -417/188 1 911/188 355/2 -165/34 1 -52/17 end Vertex graph begin 14 14 1 4 : 4 7 8 12 2 4 : 3 8 11 13 3 7 : 2 5 6 8 9 10 11 4 6 : 1 7 9 10 12 14 5 4 : 3 6 10 14 6 4 : 3 5 11 14 7 6 : 1 4 8 11 13 14 8 7 : 1 2 3 7 9 12 13 9 5 : 3 4 8 10 12 10 5 : 3 4 5 9 14 11 6 : 2 3 6 7 13 14 12 4 : 1 4 8 9 13 4 : 2 7 8 11 14 6 : 4 5 6 7 10 11 end Facet graph begin 24 24 1 3 : 2 3 24 2 3 : 1 13 23 3 3 : 1 5 15 4 3 : 5 16 20 5 3 : 3 4 7 6 3 : 9 16 18 7 3 : 5 8 14 8 3 : 7 9 11 9 3 : 6 8 12 10 3 : 12 13 19 11 3 : 8 12 14 12 3 : 9 10 11 13 3 : 2 10 15 14 3 : 7 11 15 15 3 : 3 13 14 16 3 : 4 6 17 17 3 : 16 18 20 18 3 : 6 17 19 19 3 : 10 18 22 20 3 : 4 17 21 21 3 : 20 22 24 22 3 : 19 21 23 23 3 : 2 22 24 24 3 : 1 21 23 end