[PPL-devel] [GIT] ppl/ppl(master): Added examples from PipLib 1.4.0.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Feb 17 22:15:11 CET 2010
Module: ppl/ppl
Branch: master
Commit: d97532ec7447dd4e4bfe042eae9e4c6a08f9f35a
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97532ec7447dd4e4bfe042eae9e4c6a08f9f35a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 22:06:42 2010 +0100
Added examples from PipLib 1.4.0.
---
demos/ppl_pips/examples/Makefile.am | 25 ++++++++++++++++++++++-
demos/ppl_pips/examples/README | 8 +++++++
demos/ppl_pips/examples/big.pip | 9 ++++++++
demos/ppl_pips/examples/brisebarre.pip | 33 ++++++++++++++++++++++++++++++++
demos/ppl_pips/examples/cg1.pip | 15 ++++++++++++++
demos/ppl_pips/examples/esced.pip | 21 ++++++++++++++++++++
demos/ppl_pips/examples/ex2.pip | 9 ++++++++
demos/ppl_pips/examples/fimmel.pip | 12 +++++++++++
demos/ppl_pips/examples/invert.dat | 10 +++++++++
demos/ppl_pips/examples/linear.dat | 10 +++++++++
demos/ppl_pips/examples/lineri.dat | 9 ++++++++
demos/ppl_pips/examples/loz.dat | 15 ++++++++++++++
demos/ppl_pips/examples/max.dat | 9 ++++++++
demos/ppl_pips/examples/max.pip | 9 ++++++++
demos/ppl_pips/examples/maxb.dat | 9 ++++++++
demos/ppl_pips/examples/pairi.dat | 7 ++++++
demos/ppl_pips/examples/petit.dat | 9 ++++++++
demos/ppl_pips/examples/rairoi.dat | 9 ++++++++
demos/ppl_pips/examples/sor1d.pip | 28 +++++++++++++++++++++++++++
demos/ppl_pips/examples/square.pip | 9 ++++++++
demos/ppl_pips/examples/test12i.dat | 17 ++++++++++++++++
21 files changed, 280 insertions(+), 2 deletions(-)
diff --git a/demos/ppl_pips/examples/Makefile.am b/demos/ppl_pips/examples/Makefile.am
index 3f2777a..48c2439 100644
--- a/demos/ppl_pips/examples/Makefile.am
+++ b/demos/ppl_pips/examples/Makefile.am
@@ -21,6 +21,27 @@
# site: http://www.cs.unipr.it/ppl/ .
DAT_FILES = \
-test02.dat
+invert.dat \
+linear.dat \
+lineri.dat \
+loz.dat \
+max.dat \
+maxb.dat \
+pairi.dat \
+petit.dat \
+rairoi.dat \
+test02.dat \
+test12i.dat
-dist_noinst_DATA = $(DAT_FILES)
+PIP_FILES = \
+big.pip \
+brisebarre.pip \
+cg1.pip \
+esced.pip \
+ex2.pip \
+fimmel.pip \
+max.pip \
+sor1d.pip \
+square.pip
+
+dist_noinst_DATA = $(DAT_FILES) $(PIP_FILES)
diff --git a/demos/ppl_pips/examples/README b/demos/ppl_pips/examples/README
new file mode 100644
index 0000000..6b46816
--- /dev/null
+++ b/demos/ppl_pips/examples/README
@@ -0,0 +1,8 @@
+The examples in this directory have been taken from PipLib 1.4.0 [1],
+which is released under the GNU Lesser General Public License, version 2.1
+or later [2].
+
+--------
+
+[1] http://www.piplib.org/
+[2] http://www.gnu.org/licenses/lgpl-2.1.html
diff --git a/demos/ppl_pips/examples/big.pip b/demos/ppl_pips/examples/big.pip
new file mode 100644
index 0000000..c93c08f
--- /dev/null
+++ b/demos/ppl_pips/examples/big.pip
@@ -0,0 +1,9 @@
+0 3
+
+1
+
+4 5
+1 -1 0 1 0
+1 0 -1 1 0
+1 -1 3 -2 12
+1 2 -1 -1 3
diff --git a/demos/ppl_pips/examples/brisebarre.pip b/demos/ppl_pips/examples/brisebarre.pip
new file mode 100644
index 0000000..f5a8397
--- /dev/null
+++ b/demos/ppl_pips/examples/brisebarre.pip
@@ -0,0 +1,33 @@
+# ---------------------- CONTEXT ----------------------
+0 2
+
+-1
+
+# ----------------------- DOMAIN ----------------------
+26 6
+1 3 0 0 0 -98300
+1 -3 0 0 0 98308
+1 432 36 6 1 -14757611
+1 -432 -36 -6 -1 14758510
+1 54 9 3 1 -1923190
+1 -54 -9 -3 -1 1923303
+1 48 12 6 3 -1782238
+1 -48 -12 -6 -3 1782339
+1 27 9 6 4 -1045164
+1 -27 -9 -6 -4 1045221
+1 432 180 150 125 -17434139
+1 -432 -180 -150 -125 17435038
+1 6 3 3 3 -252443
+1 -6 -3 -3 -3 252456
+1 432 252 294 343 -18949275
+1 -432 -252 -294 -343 18950174
+1 27 18 24 32 -1234720
+1 -27 -18 -24 -32 1234777
+1 48 36 54 81 -2288453
+1 -48 -36 -54 -81 2288554
+1 54 45 75 125 -2684050
+1 -54 -45 -75 -125 2684163
+1 432 396 726 1331 -22386005
+1 -432 -396 -726 -1331 22386904
+1 3 3 6 12 -162072
+1 -3 -3 -6 -12 162080
diff --git a/demos/ppl_pips/examples/cg1.pip b/demos/ppl_pips/examples/cg1.pip
new file mode 100644
index 0000000..78e31f1
--- /dev/null
+++ b/demos/ppl_pips/examples/cg1.pip
@@ -0,0 +1,15 @@
+2 4
+ 1 1 0 -1
+ 1 -1 1 0
+
+-1
+
+8 7
+ 1 0 1 0 -1 0 0
+ 1 0 -1 0 1 0 0
+ 1 1 0 0 0 -1 0
+ 1 -1 0 0 0 1 0
+ 1 0 1 0 0 0 -1
+ 1 0 -1 0 0 1 0
+ 1 0 -1 1 0 0 -1
+ 1 0 0 -1 0 1 0
diff --git a/demos/ppl_pips/examples/esced.pip b/demos/ppl_pips/examples/esced.pip
new file mode 100644
index 0000000..891c281
--- /dev/null
+++ b/demos/ppl_pips/examples/esced.pip
@@ -0,0 +1,21 @@
+0 2
+
+-1
+
+16 18
+1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0
+1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0
+1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
+1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0
+1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
+1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
+0 0 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0
+0 0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0
+0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0
+0 0 0 0 0 0 -1 0 0 0 0 0 1 -1 0 -1 0 0
+0 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0
+0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0
+0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0
+1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
+1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
diff --git a/demos/ppl_pips/examples/ex2.pip b/demos/ppl_pips/examples/ex2.pip
new file mode 100644
index 0000000..bb59848
--- /dev/null
+++ b/demos/ppl_pips/examples/ex2.pip
@@ -0,0 +1,9 @@
+1 5
+1 -1 1 1 0
+
+-1
+
+3 7
+1 0 -1 0 1 0 0
+1 -1 0 0 0 1 0
+1 1 1 -1 0 0 0
diff --git a/demos/ppl_pips/examples/fimmel.pip b/demos/ppl_pips/examples/fimmel.pip
new file mode 100644
index 0000000..a6dee41
--- /dev/null
+++ b/demos/ppl_pips/examples/fimmel.pip
@@ -0,0 +1,12 @@
+0 4
+
+-1
+
+7 6
+1 2 6 0 0 -9
+1 5 -3 0 0 0
+1 2 -10 0 0 15
+1 -2 6 0 0 -3
+1 -2 -6 0 0 17
+1 0 1 -1 0 0
+1 1 0 0 -1 0
diff --git a/demos/ppl_pips/examples/invert.dat b/demos/ppl_pips/examples/invert.dat
new file mode 100644
index 0000000..8f472fc
--- /dev/null
+++ b/demos/ppl_pips/examples/invert.dat
@@ -0,0 +1,10 @@
+( (Lower bound on j after loop inversion
+ (unknowns j i)
+ (parameters k m n))
+ 2 3 3 1 -1 1
+ ( #[0 -1 0 0 1 0]
+ #[-1 0 0 0 0 1]
+ #[1 1 0 -1 0 0]
+ )
+ ( #[-1 1 1 0])
+)
diff --git a/demos/ppl_pips/examples/linear.dat b/demos/ppl_pips/examples/linear.dat
new file mode 100644
index 0000000..65d5a51
--- /dev/null
+++ b/demos/ppl_pips/examples/linear.dat
@@ -0,0 +1,10 @@
+((linearisation d'un tableau 100 100)
+ 2 1 4 1 -1 1
+ (#[100 1 0 -1]
+ #[-100 -1 0 1]
+ #[-1 0 99 0]
+ #[0 -1 99 0]
+ )
+ (#[-1 9999]
+ )
+)
diff --git a/demos/ppl_pips/examples/lineri.dat b/demos/ppl_pips/examples/lineri.dat
new file mode 100644
index 0000000..4c13e66
--- /dev/null
+++ b/demos/ppl_pips/examples/lineri.dat
@@ -0,0 +1,9 @@
+((linearisation d'un tableau 100 100)
+ 1 1 3 1 -1 1
+ (#[-1 99 0]
+ #[-100 0 1]
+ #[100 99 -1]
+ )
+ (#[-1 9999]
+ )
+)
diff --git a/demos/ppl_pips/examples/loz.dat b/demos/ppl_pips/examples/loz.dat
new file mode 100644
index 0000000..234dd9c
--- /dev/null
+++ b/demos/ppl_pips/examples/loz.dat
@@ -0,0 +1,15 @@
+(
+ ( Solving MIN(i-2.j) under the following constraints:
+ Unknowns may be negative.
+ Order:
+ f' i' j' constant G P n'
+ )
+ 3 3 5 0 4 1
+ (
+ #[ 0 1 1 20 -2 -4 4 ]
+ #[ 1 -1 2 0 -2 0 0 ]
+ #[ 0 -1 -1 0 2 0 0 ]
+ #[ 0 1 -1 10 0 -2 2 ]
+ #[ 0 -1 1 10 0 -2 2 ]
+ )
+ ( ))
diff --git a/demos/ppl_pips/examples/max.dat b/demos/ppl_pips/examples/max.dat
new file mode 100644
index 0000000..fdb71c5
--- /dev/null
+++ b/demos/ppl_pips/examples/max.dat
@@ -0,0 +1,9 @@
+((a maximization problem)
+ 2 1 4 0 -1 1
+ (#[-1 0 0 1]
+ #[0 -1 0 1]
+ #[-1 3 12 -2]
+ #[2 -1 3 -1]
+ )
+ ()
+)
diff --git a/demos/ppl_pips/examples/max.pip b/demos/ppl_pips/examples/max.pip
new file mode 100644
index 0000000..e8af57b
--- /dev/null
+++ b/demos/ppl_pips/examples/max.pip
@@ -0,0 +1,9 @@
+0 3
+
+-1
+
+4 5
+1 -1 0 1 0
+1 0 -1 1 0
+1 -1 3 -2 12
+1 2 -1 -1 3
diff --git a/demos/ppl_pips/examples/maxb.dat b/demos/ppl_pips/examples/maxb.dat
new file mode 100644
index 0000000..02db81a
--- /dev/null
+++ b/demos/ppl_pips/examples/maxb.dat
@@ -0,0 +1,9 @@
+((a maximization problem)
+ 2 1 4 0 3 1
+ (#[-1 0 0 1]
+ #[0 -1 0 1]
+ #[-1 3 12 -2]
+ #[2 -1 3 -1]
+ )
+ ()
+)
diff --git a/demos/ppl_pips/examples/pairi.dat b/demos/ppl_pips/examples/pairi.dat
new file mode 100644
index 0000000..9f604cd
--- /dev/null
+++ b/demos/ppl_pips/examples/pairi.dat
@@ -0,0 +1,7 @@
+((les nombres pairs)
+ 1 1 2 0 -1 1
+ (#[2 0 -1]
+ #[-6 1 3]
+ )
+ ()
+)
diff --git a/demos/ppl_pips/examples/petit.dat b/demos/ppl_pips/examples/petit.dat
new file mode 100644
index 0000000..5d23e19
--- /dev/null
+++ b/demos/ppl_pips/examples/petit.dat
@@ -0,0 +1,9 @@
+((( a b c d e f g h i j k l m n o p q r s t u v w x y z 1)())
+ 3 0 3 0 -1 1
+ (#[1 0 0 -2]
+ #[1 2 0 -3]
+ #[1 2 3 -7]
+ )
+ ()
+ )
+
diff --git a/demos/ppl_pips/examples/rairoi.dat b/demos/ppl_pips/examples/rairoi.dat
new file mode 100644
index 0000000..09f6d0b
--- /dev/null
+++ b/demos/ppl_pips/examples/rairoi.dat
@@ -0,0 +1,9 @@
+((test du papier RAIRO)
+ 2 3 4 0 -1 1
+ (#[-1 0 0 0 1 0]
+ #[0 -1 0 0 0 1]
+ #[-2 -1 0 -1 2 1]
+ #[2 1 0 1 -2 -1]
+ )
+ ()
+)
diff --git a/demos/ppl_pips/examples/sor1d.pip b/demos/ppl_pips/examples/sor1d.pip
new file mode 100644
index 0000000..1bef89e
--- /dev/null
+++ b/demos/ppl_pips/examples/sor1d.pip
@@ -0,0 +1,28 @@
+2 4
+ 1 1 0 0
+ 1 0 1 0
+
+-1
+
+20 8
+
+ 0 -1 0 0 0 0 0 2
+ 0 0 -1 0 0 0 0 1
+ 0 0 0 -1 0 0 0 2
+ 0 0 0 0 -1 0 0 4
+ 1 0 0 0 1 0 0 -2
+ 1 -2 0 2 1 0 0 -4
+ 1 0 0 0 -1 0 1 -1
+ 1 2 0 -2 -1 0 0 5
+ 1 0 0 1 0 0 0 -1
+ 1 0 -2 1 0 0 0 0
+ 1 -2 0 2 0 0 1 -5
+ 1 0 0 -1 0 1 0 0
+ 1 0 2 -1 0 0 0 1
+ 1 2 0 -2 0 0 0 3
+ 1 0 1 0 0 0 0 0
+ 1 -2 4 0 0 0 1 -3
+ 1 0 -2 0 0 1 0 0
+ 1 2 -4 0 0 0 0 3
+ 1 2 0 0 0 0 0 1
+ 1 -2 0 0 0 2 1 -5
diff --git a/demos/ppl_pips/examples/square.pip b/demos/ppl_pips/examples/square.pip
new file mode 100644
index 0000000..7bb3f0c
--- /dev/null
+++ b/demos/ppl_pips/examples/square.pip
@@ -0,0 +1,9 @@
+0 3
+
+-1
+
+4 5
+1 1 0 0 0
+1 -1 0 1 0
+1 0 1 0 0
+1 0 -1 1 0
diff --git a/demos/ppl_pips/examples/test12i.dat b/demos/ppl_pips/examples/test12i.dat
new file mode 100644
index 0000000..5881897
--- /dev/null
+++ b/demos/ppl_pips/examples/test12i.dat
@@ -0,0 +1,17 @@
+((variables : a b c d ...., pas de parametres)
+ 12 0 12 0 -1 1
+ (#[1 0 0 0 0 0 0 0 0 0 0 0 -2]
+ #[1 2 0 0 0 0 0 0 0 0 0 0 -3]
+ #[1 2 3 0 0 0 0 0 0 0 0 0 -7]
+ #[1 2 3 4 0 0 0 0 0 0 0 0 -25]
+ #[1 2 3 4 5 0 0 0 0 0 0 0 -121]
+ #[1 2 3 4 5 6 0 0 0 0 0 0 -721]
+ #[1 2 3 4 5 6 7 0 0 0 0 0 -5041]
+ #[1 2 3 4 5 6 7 8 0 0 0 0 -40321]
+ #[1 2 3 4 5 6 7 8 9 0 0 0 -362881]
+ #[1 2 3 4 5 6 7 8 9 10 0 0 -3628801]
+ #[1 2 3 4 5 6 7 8 9 10 11 0 -39916801]
+ #[1 2 3 4 5 6 7 8 9 10 11 12 -479001601]
+ )
+ ()
+)
More information about the PPL-devel
mailing list