barvinok 0.41.8
[barvinok.git] / tests / iscc / count / product4
blob0f5f86e8fa98c589ff7dda65ada94f51733663bd
1 P :=
2 12 10
3 1         121          30          92         120         240          48          24          12 0
4 1         302          75         230         300         600         120          60          30 0
5 1       -3141        -780       -2392       -3120       -6240       -1248        -624        -312 40
6 1         100          25          77         100         200          40          20          10 0
7 1         120          30          90         121         240          48          24          12 0
8 1       -1300        -325        -977       -1310       -2600        -520        -260        -130 40
9 1         160          40         120         160         321          64          32          16 0
10 1         232          58         174         232         464          93          48          24 0
11 1       -2480        -620       -1860       -2480       -4961        -994        -512        -256 40
12 1          60          15          45          60         120          24          13           6 0
13 1          40          10          30          40          80          16           8           5 0
14 1        -460        -115        -345        -460        -920        -184         -93         -56 40
16 assert((card P) = { 121550625 });