diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/reg24-5.ext')
| -rw-r--r-- | demos/ppl_lcdd/examples/reg24-5.ext | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/reg24-5.ext b/demos/ppl_lcdd/examples/reg24-5.ext new file mode 100644 index 000000000..b755b677e --- /dev/null +++ b/demos/ppl_lcdd/examples/reg24-5.ext @@ -0,0 +1,31 @@ +* The vertices of a self-dual 4-dim regular polytope +* with 24 octahedron facets. +* We use hull option to compute all (24) facet inequalities. +V-representation +begin + 24 5 integer + 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 |