Path: blob/master/build/pkgs/cddlib/tests/output/reg24-5.ine
8821 views
V-representation begin 24 5 rational 1 0 -1/2 -1/2 0 1 0 0 -1/2 -1/2 1 0 -1/2 0 -1/2 1 0 -1/2 1/2 0 1 0 0 1/2 -1/2 1 0 1/2 -1/2 0 1 0 1/2 0 -1/2 1 0 1/2 1/2 0 1 1/2 -1/2 0 0 1 1/2 0 0 -1/2 1 1/2 0 0 1/2 1 1/2 1/2 0 0 1 1/2 0 1/2 0 1 1/2 0 -1/2 0 1 0 1/2 0 1/2 1 0 0 1/2 1/2 1 0 -1/2 0 1/2 1 0 0 -1/2 1/2 1 -1/2 0 0 1/2 1 -1/2 1/2 0 0 1 -1/2 0 1/2 0 1 -1/2 0 0 -1/2 1 -1/2 0 -1/2 0 1 -1/2 -1/2 0 0 end H-representation begin 24 5 rational 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 2 0 0 0 1 0 2 0 0 1 0 0 2 0 1 0 0 0 2 1 -2 0 0 0 1 0 -2 0 0 1 0 0 -2 0 1 0 0 0 -2 end Vertex graph begin 24 24 1 8 : 2 3 9 14 17 18 23 24 2 8 : 1 3 6 7 10 14 22 23 3 8 : 1 2 4 5 9 10 22 24 4 8 : 3 5 9 13 16 17 21 24 5 8 : 3 4 7 8 10 13 21 22 6 8 : 2 7 12 14 15 18 20 23 7 8 : 2 5 6 8 10 12 20 22 8 8 : 5 7 12 13 15 16 20 21 9 8 : 1 3 4 10 11 13 14 17 10 8 : 2 3 5 7 9 12 13 14 11 8 : 9 12 13 14 15 16 17 18 12 8 : 6 7 8 10 11 13 14 15 13 8 : 4 5 8 9 10 11 12 16 14 8 : 1 2 6 9 10 11 12 18 15 8 : 6 8 11 12 16 18 19 20 16 8 : 4 8 11 13 15 17 19 21 17 8 : 1 4 9 11 16 18 19 24 18 8 : 1 6 11 14 15 17 19 23 19 8 : 15 16 17 18 20 21 23 24 20 8 : 6 7 8 15 19 21 22 23 21 8 : 4 5 8 16 19 20 22 24 22 8 : 2 3 5 7 20 21 23 24 23 8 : 1 2 6 18 19 20 22 24 24 8 : 1 3 4 17 19 21 22 23 end Facet graph begin 24 24 1 8 : 2 3 5 9 17 18 19 20 2 8 : 1 4 6 10 17 18 19 24 3 8 : 1 4 7 11 17 18 20 23 4 8 : 2 3 8 12 17 18 23 24 5 8 : 1 6 7 13 17 19 20 22 6 8 : 2 5 8 14 17 19 22 24 7 8 : 3 5 8 15 17 20 22 23 8 8 : 4 6 7 16 17 22 23 24 9 8 : 1 10 11 13 18 19 20 21 10 8 : 2 9 12 14 18 19 21 24 11 8 : 3 9 12 15 18 20 21 23 12 8 : 4 10 11 16 18 21 23 24 13 8 : 5 9 14 15 19 20 21 22 14 8 : 6 10 13 16 19 21 22 24 15 8 : 7 11 13 16 20 21 22 23 16 8 : 8 12 14 15 21 22 23 24 17 8 : 1 2 3 4 5 6 7 8 18 8 : 1 2 3 4 9 10 11 12 19 8 : 1 2 5 6 9 10 13 14 20 8 : 1 3 5 7 9 11 13 15 21 8 : 9 10 11 12 13 14 15 16 22 8 : 5 6 7 8 13 14 15 16 23 8 : 3 4 7 8 11 12 15 16 24 8 : 2 4 6 8 10 12 14 16 end