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