1---------------------------------------
2Domain:
3         i0 - k0  -1 = 0
4         j0 - k0  -1 = 0
5         -3k0 + a0 + a1  -2 >= 0
6         - k0 + a0  -1 >= 0
7         - k0 + a1  -1 >= 0
8         k0  >= 0
9         N - a0  >= 0
10         N - a1 + 1 >= 0
11         - k0 + N  -2 >= 0
12          1 >= 0
13
14Vertices:
15[ 1,  1,  0 ]
16[ k0+1,  k0+1,  k0 ]
17
18Ehrhart Polynomial:
19( 1 * k0 + 1 )
20
21---------------------------------------
22Domain:
23         i0 - k0  -1 = 0
24         j0 - k0  -1 = 0
25         3k0 - a0 - a1 + 2 >= 0
26         - k0 + a0  -1 >= 0
27         - k0 + a1  -1 >= 0
28         N - a0  >= 0
29         N - a1 + 1 >= 0
30         - k0 + N  -2 >= 0
31          1 >= 0
32
33Vertices:
34[ 3k0-a0-a1+3,  3k0-a0-a1+3,  3k0-a0-a1+2 ]
35[ k0+1,  k0+1,  k0 ]
36
37Ehrhart Polynomial:
38( -2 * k0 + ( 1 * a0 + ( 1 * a1 + -1 )
39 )
40 )
41
42