Vieux exemples & tests:

P1 := { i, j, N | 2*(j+5)+i<=2N  };
P3 := {i,j,N|i-2j>0,N<5,i>N};
P5 := {i,j,k,N|i-j>0,N<5,i+j<=N};
P10 := {i,j,k,l,m,n,N|i-2j>0,k+l<=m-n,N<5,i>j};
initvisu (7, P3);
initvisu (1, P3);
initvisu (2, P10);
visu (P10);

#######################################################################
Exemple en 2D N1:

context2Pn1 := {i, j | i>0, j>0};

DOM2D2Pn1 := {i, j, k, l | 0<i<2*k, 0<j<10+l , 0<k<10, 0<l<10};
DOM2D2Pn2 := {i, j, k, l | 0 >i>-2*k, 0>j>-10+l , 0<k<10, 0<l<10};
DOM2D2Pn3 := {i, j, k, l | 2k>i>-2, 10+l>j>=-1 , 0<k<10, 0<l<10};
DOM2D2Pn4 := {i, j, k, l | 2k>i, 10+l>j>0 , 0<k<10, 0<l<10};
DOM2D2Pn5 := {i, j, k, l | 2k>i>0, 10+l>j>0 , 0<k<10, 0<l};
initvisu (2, context2Pn1);

pdif := DOM2D2Pn3 diff DOM2D2Pn5;
puni := DOM2D2Pn3 union DOM2D2Pn2;
pint := DOM2D2Pn3 inter DOM2D2Pn2;

#######################################################################
Exemple en 3D N1:

context1Pn1 := {i | i>0};
DOM3D1Pn1 := {i, j, k, l | 0<i<2*k, 0<j<5+l , 0<k<5, 0<l<10};
DOM3D1Pn2 := {i, j, k, l | 0 >i>-k, 0>j>-4-l , 0<k<5, 0<l<10};
initvisu (3, context1Pn1);

#######################################################################
Exemple en 3D N2:

context2Pn1 := {l, m | l>0, m>0};
P1 := {i, j, k, l, m | 0<=i<l, 0<=j<m, 0<k<l+m, 0<l, 0<m};
P2 := {i, j, k, l, m | -l<i<=3, -m-1<j<4, -l-m<k<=2, 0<l, 0<m};
P1interP2 := P1 inter P2;
P1diffP2 := P1 diff P2;
P2diffP1 := P2 diff P1;
initvisu (3, context2Pn1);

#######################################################################
DOM3D2Pn3 := {i, j, k, l, m | -l<i<0, -m<j<0, 0<k<l+m+4, 0<l, 0<m};

DOM3D2Pn4 := {i, j, k, l, m | l<i+j<k+m, 0<j<l, 0<k<l+m+4, 5+i<l};
DOM3D2Pn5 := {i, j, k, l, m | -3<i+j<l-2, 2<j+k<l+m, 0<k<l+4, 5+i<l};
initvisu (3, context2Pn1);

#######################################################################
Exemple en 3D N3:

context5Pn1 := {i, j, k, l, m | i>0, j>0};
DOM3D5Pn1 := {i, j, k, l, m, n, p, q | l<=i<=m, l<=j<n+q, n<=k<=p};
DOM3D5Pn2 := {i, j, k, l, m, n, p, q | -l<i<0, p-m<j<n+q, 0<k+i<m+n+q};
DOM3D5Pn3 := {i, j, k, l, m, n, p, q | 0<=i+j+k<=m+n+p, 0<k+j<q, 0<=i+j<l};
initvisu (3, context5Pn1);

#######################################################################
Exemple en 3D N4:

context6Pn1 := {i, j, k, l, m, n | i>0, j>0};
DOM3D6Pn1 := {i, j, k, l, m, n, p, q, r | l<=i<=m, n<=j<p, q<=k<=r};
DOM3D6Pn2 := {i, j, k, l, m, n, p, q, r | -l<i<0, p-m<j<n+q, 0<k+i<m+r};
DOM3D6Pn3 := {i, j, k, l, m, n, p, q, r |  0<k+j<q+r, n<=k+i<=m+p+l, 0<=i+j<l};
initvisu (3, context6Pn1);

#######################################################################
Exemple en 4D N1:

context2Pn1 := {i, j | i>0, j>0};
DOM4D2Pn1 := {i, j, k, l, m, n | 0<i<l, 0<j<m, 0<k<n+m, 0<l<4, 0<m, 0<n};
DOM4D2Pn2 := {i, j, k, l, m, n | -l<i<0, -m-1<j<0, -n-m<k<2, 0<l<n, 0<m};
DOM4D2Pn3 := {i, j, k, l, m, n | -l<i<0, -m<j<0, 0<k<n+m+4, 0<l<n+m, 0<m};
initvisu (4, context2Pn1);

#######################################################################
vide := { | };
initvisu (5, vide);
initvisu (3, vide);

#######################################################################
Domaines borns:

PB1 := {i,j,k,l,m|0<i<4,1<i+j<10,0<k<l,l<m<7};

PB2 := {i,j,k| 0<i<5,0<j<5,0<i+j<k,0<k<5};
PB3 := {i,j,k| 0<i,0<j,10<i+j<k,10<k<15};
PB4 := {i,j,k| 10<i<13, 10<j<15, 0<k<4};
PB5 := {i,j,k| 0<i<7,0<j<5,10<k<15};
vide := { | };
initvisu (3, vide);


###################
P := {i,j,k| 0<i<5,0<j<5,0<i+j<k,0<k<5};
M := ( (2,0,0,0),(0,2,0,0),(0,0,2,0),(0,0,0,1) );
P2 := image(P,M);
O := {i,j,k|i=0,j=0,k=0};
vide := { | };
initvisu (3, vide);

p := {i, j | j>4>i };
print p;

#######################################################################
vide := { | };
P := { i,j,k,l|  0<=i<=10, 0<=j<=10, 0<=k<=i, 0<=l<=i};
initvisu (4, vide);


