1 files changed, 20 insertions, 0 deletions
diff --git a/demos/ppl_pips/examples/test02.dat b/demos/ppl_pips/examples/test02.dat
new file mode 100644
index 000000000..f0f8e1832
--- /dev/null
+++ b/demos/ppl_pips/examples/test02.dat
@@ -0,0 +1,20 @@
+( ( Four parts in the file:
+    - comments (here !),
+    - Information line: here "2 2 5 0 -1 1" meaning 2 unknown,
+      2 parameters, 5 inequalities for domain, 1 ineq. for context,
+      no big parameter (-1) and integer solution requested (1).
+    - List of domain inequalities: #[ 2 3 -8 0 0] meaning
+      (2)*i + (3)*j + (-8)*1 + (0)*m + (0)*n >= 0.
+    - List of context inequalities: #[ 0 1 -3] meaning
+      (0)*m + (1)*n + (-3)*1 >= 0.
+  )
+  2 2 5 1 -1 1
+  ( #[ 2 3 -8 0 0]
+    #[ 4 -1 -4 0 0]
+    #[-1 0 0 0 1]
+    #[ 0 1 0 0 0]
+    #[ 0 -1 0 1 0]
+  )
+  ( #[ 0 1 -3]
+  )
+)