summaryrefslogtreecommitdiff
path: root/demos/ppl_lcdd/examples/samplev3.ext
diff options
context:
space:
mode:
Diffstat (limited to 'demos/ppl_lcdd/examples/samplev3.ext')
-rw-r--r--demos/ppl_lcdd/examples/samplev3.ext16
1 files changed, 16 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/samplev3.ext b/demos/ppl_lcdd/examples/samplev3.ext
new file mode 100644
index 000000000..bc92ef47b
--- /dev/null
+++ b/demos/ppl_lcdd/examples/samplev3.ext
@@ -0,0 +1,16 @@
+* test file for redundancy removal
+* the redundant rows: 2 4 5 6 7
+* the implicit linearities : 8 9
+V-representation
+begin
+ 9 3 integer
+ 1 0 0
+ 1 2 0
+ 1 0 2
+ 1 1 1
+ 1 2 1
+ 1 1 2
+ 1 2 2
+ 0 1 0
+ 0 -1 0
+end