summaryrefslogtreecommitdiff
path: root/demos/ppl_lcdd/examples/sample.ine
diff options
context:
space:
mode:
Diffstat (limited to 'demos/ppl_lcdd/examples/sample.ine')
-rw-r--r--demos/ppl_lcdd/examples/sample.ine11
1 files changed, 11 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/sample.ine b/demos/ppl_lcdd/examples/sample.ine
new file mode 100644
index 000000000..452e1bf85
--- /dev/null
+++ b/demos/ppl_lcdd/examples/sample.ine
@@ -0,0 +1,11 @@
+* 3-cube
+H-representation
+begin
+ 6 4 rational
+ 10/3 1 0 0
+ 10/3 0 1 0
+ 10/3 0 0 1
+ 10/3 -1 0 0
+ 10/3 0 -1 0
+ 10/3 0 0 -1
+end