diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/samplev3.ext')
-rw-r--r-- | demos/ppl_lcdd/examples/samplev3.ext | 16 |
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 |