diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/cross8.ine')
| -rw-r--r-- | demos/ppl_lcdd/examples/cross8.ine | 261 |
1 files changed, 261 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/cross8.ine b/demos/ppl_lcdd/examples/cross8.ine new file mode 100644 index 000000000..b045ac5a9 --- /dev/null +++ b/demos/ppl_lcdd/examples/cross8.ine @@ -0,0 +1,261 @@ +* 8-dim cross polytope +H-representation +begin +256 9 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 + 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 +end |