summaryrefslogtreecommitdiff
path: root/demos/ppl_lcdd/examples/ccc4.ext
diff options
context:
space:
mode:
Diffstat (limited to 'demos/ppl_lcdd/examples/ccc4.ext')
-rw-r--r--demos/ppl_lcdd/examples/ccc4.ext14
1 files changed, 14 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/ccc4.ext b/demos/ppl_lcdd/examples/ccc4.ext
new file mode 100644
index 000000000..8f98f5fad
--- /dev/null
+++ b/demos/ppl_lcdd/examples/ccc4.ext
@@ -0,0 +1,14 @@
+* Complete cut cone on 4 vertices
+* The number of facets is 12.
+V-representation
+begin
+ 7 7 integer
+ 0 1 1 1 0 0 0
+ 0 0 1 1 1 1 0
+ 0 1 0 1 1 0 1
+ 0 1 1 0 0 1 1
+ 0 0 0 1 0 1 1
+ 0 0 1 0 1 0 1
+ 0 1 0 0 1 1 0
+end
+