
P := {i,j,N,M | 1 <= i <= N, i <= j <= M };
C := { N,M | };

initvisu(2,C);

ehrhart(P,C);

#######################################################################

P1 := {i,j,k,N,M | 1 <= i <= k, i <= j <= M, 0 <= k <= 20 };
P2 := {i,j,k,N,M | N=k };
P3 := P2 . P1;
initvisu(3,C);

V := { i,j,k,P,Q | P <= i <= 0, i <= j <= 0, i-j <= k <= 0, Q = i+j+k };
