
#######################################################################
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);

#######################################################################
le meme, avec disjoint domain

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};
P3 := P1 + P2;
P := dd P3;

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 4D N1:

context2Pn1 := {m, n | m>0, n>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);


#######################################################################
Exemple en 4D N2:

con := { M | };
P := { i,j,k,l,M|  0<=i<=M, 0<=j<=M, 0<=k<=i, 0<=l<=i};
initvisu (4, con);


#######################################################################
Exemple en 5D:

con := { M | };
P := { i,j,k,l,m,M|  0<=i<=M, 0<=j<=M, 0<=k<=M, 0<=l<=i, 0<=m<=j };
initvisu (5, con);


########## AUTRES #####################################################

#######################################################################
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;



