| Austin Schuh | 405fa6c | 2015-09-06 18:13:55 -0700 | [diff] [blame] | 1 | * The vertices of a self-dual 4-dim regular polytope |
| 2 | * with 24 octahedron facets. | ||||
| 3 | * We use hull option to compute all (24) facet inequalities. | ||||
| 4 | V-representation | ||||
| 5 | begin | ||||
| 6 | 24 5 integer | ||||
| 7 | 1 1 1 1 1 | ||||
| 8 | 1 1 1 1 -1 | ||||
| 9 | 1 1 1 -1 1 | ||||
| 10 | 1 1 1 -1 -1 | ||||
| 11 | 1 1 -1 1 1 | ||||
| 12 | 1 1 -1 1 -1 | ||||
| 13 | 1 1 -1 -1 1 | ||||
| 14 | 1 1 -1 -1 -1 | ||||
| 15 | 1 -1 1 1 1 | ||||
| 16 | 1 -1 1 1 -1 | ||||
| 17 | 1 -1 1 -1 1 | ||||
| 18 | 1 -1 1 -1 -1 | ||||
| 19 | 1 -1 -1 1 1 | ||||
| 20 | 1 -1 -1 1 -1 | ||||
| 21 | 1 -1 -1 -1 1 | ||||
| 22 | 1 -1 -1 -1 -1 | ||||
| 23 | 1 2 0 0 0 | ||||
| 24 | 1 0 2 0 0 | ||||
| 25 | 1 0 0 2 0 | ||||
| 26 | 1 0 0 0 2 | ||||
| 27 | 1 -2 0 0 0 | ||||
| 28 | 1 0 -2 0 0 | ||||
| 29 | 1 0 0 -2 0 | ||||
| 30 | 1 0 0 0 -2 | ||||
| 31 | end | ||||