Module: ppl/ppl Branch: master Commit: d97532ec7447dd4e4bfe042eae9e4c6a08f9f35a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97532ec7447d...
Author: Roberto Bagnara bagnara@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] + ) + () +)