diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/mp5.ine')
| -rw-r--r-- | demos/ppl_lcdd/examples/mp5.ine | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/mp5.ine b/demos/ppl_lcdd/examples/mp5.ine new file mode 100644 index 000000000..b9010246a --- /dev/null +++ b/demos/ppl_lcdd/examples/mp5.ine @@ -0,0 +1,45 @@ +* metric polytope on 5 points +H-representation +begin +40 11 integer +2 -1 -1 0 0 -1 0 0 0 0 0 +0 1 1 0 0 -1 0 0 0 0 0 +0 -1 0 1 0 0 1 0 0 0 0 +0 1 0 1 0 0 -1 0 0 0 0 +0 -1 0 0 1 0 0 1 0 0 0 +0 1 0 0 1 0 0 -1 0 0 0 +0 0 -1 1 0 0 0 0 1 0 0 +0 0 1 -1 0 0 0 0 1 0 0 +0 0 1 1 0 0 0 0 -1 0 0 +0 0 -1 0 1 0 0 0 0 1 0 +0 0 1 0 -1 0 0 0 0 1 0 +0 0 1 0 1 0 0 0 0 -1 0 +0 0 0 1 1 0 0 0 0 0 -1 +0 0 0 1 -1 0 0 0 0 0 1 +0 0 0 -1 1 0 0 0 0 0 1 +2 0 0 0 0 -1 -1 0 -1 0 0 +0 0 0 0 0 1 1 0 -1 0 0 +0 0 0 0 0 -1 1 0 1 0 0 +0 0 0 0 0 1 -1 0 1 0 0 +2 0 0 0 0 -1 0 -1 0 -1 0 +0 0 0 0 0 1 0 1 0 -1 0 +0 0 0 0 0 -1 0 1 0 1 0 +0 0 0 0 0 1 0 -1 0 1 0 +2 0 0 0 0 0 -1 -1 0 0 -1 +0 0 0 0 0 0 -1 1 0 0 1 +0 0 0 0 0 0 1 -1 0 0 1 +0 0 0 0 0 0 1 1 0 0 -1 +2 0 0 0 0 0 0 0 -1 -1 -1 +0 0 0 0 0 0 0 0 1 -1 1 +0 0 0 0 0 0 0 0 -1 1 1 +0 0 0 0 0 0 0 0 1 1 -1 +0 -1 1 0 0 1 0 0 0 0 0 +0 1 -1 0 0 1 0 0 0 0 0 +2 -1 0 -1 0 0 -1 0 0 0 0 +0 1 0 -1 0 0 1 0 0 0 0 +2 -1 0 0 -1 0 0 -1 0 0 0 +0 1 0 0 -1 0 0 1 0 0 0 +2 0 -1 -1 0 0 0 0 -1 0 0 +2 0 -1 0 -1 0 0 0 0 -1 0 +2 0 0 -1 -1 0 0 0 0 0 -1 +end |