integrer: correct check for available space in the context tableau.
[piplib.git] / test / test7i.dat
blob28a490ea18a64a303f154a02e0387200afdb829f
1 ((variables : a b c d ...., pas de parametres)
2 7 0 7 0 -1 1
3 (#[1 0 0 0 0 0 0 -2]
4 #[1 2 0 0 0 0 0 -3]
5 #[1 2 3 0 0 0 0 -7]
6 #[1 2 3 4 0 0 0 -25]
7 #[1 2 3 4 5 0 0 -121]
8 #[1 2 3 4 5 6 0 -721]
9 #[1 2 3 4 5 6 7 -5041]