Test/ehrhart/e16.out

   1 ---------------------------------------
   2 Domain:
   3          n  -100 >= 0
   4          p  -100 >= 0
   5          m  >= 0
   6          - n + 150 >= 0
   7
   8 Vertices:
   9 [ n-100,  n+m/2-100,  0 ]
  10 [ n-100,  0,  0 ]
  11 [ n/3,  n/3+m/2,  -n/6+25 ]
  12 [ n/3,  n/3+m/2,  0 ]
  13 [ n/3,  0,  -n/6+25 ]
  14 [ n/3,  0,  0 ]
  15
  16 Ehrhart Polynomial:
  17 ( 5/162 * n^3 + [ ( 1/36 * m + [ -409/36, -205/18 ]_m )
  18 , ( 1/36 * m + [ -1225/108, -307/27 ]_m )
  19 , ( 1/36 * m + [ -1223/108, -613/54 ]_m )
  20  ]_n * n^2 + [ ( -103/12 * m + [ 11702/9, 47117/36 ]_m )
  21 , ( -77/9 * m + [ 70055/54, 70517/54 ]_m )
  22 , ( -307/36 * m + [ 69911/54, 140743/108 ]_m )
  23 , ( -103/12 * m + [ 11702/9, 47117/36 ]_m )
  24 , ( -77/9 * m + [ 35032/27, 35263/27 ]_m )
  25 , ( -307/36 * m + [ 69911/54, 140743/108 ]_m )
  26  ]_n * n + [ ( 663 * m + [ -43524, -44187 ]_m )
  27 , ( 23707/36 * m + [ -14105665/324, -3579757/81 ]_m )
  28 , ( 5890/9 * m + [ -3527084/81, -3580094/81 ]_m )
  29 , ( 663 * m + [ -174097/4, -176749/4 ]_m )
  30 , ( 5929/9 * m + [ -3526369/81, -3579730/81 ]_m )
  31 , ( 5890/9 * m + [ -14108255/324, -14320295/324 ]_m )
  32  ]_n )
  33
  34 ---------------------------------------
  35 Domain:
  36          n - p  >= 0
  37          - p + 100 >= 0
  38          m  >= 0
  39          -2n + 3p  >= 0
  40
  41 Vertices:
  42 [ n-p,  n+m/2-p,  0 ]
  43 [ n-p,  0,  0 ]
  44 [ n/3,  n/3+m/2,  -n/6+p/4 ]
  45 [ n/3,  n/3+m/2,  0 ]
  46 [ n/3,  0,  -n/6+p/4 ]
  47 [ n/3,  0,  0 ]
  48
  49 Ehrhart Polynomial:
  50 ( 5/162 * n^3 + [ ( 1/36 * m + [ ( -1/9 * p + -1/4 )
  51 , ( -1/9 * p + -5/18 )
  52  ]_m )
  53 , ( 1/36 * m + [ ( -1/9 * p + -25/108 )
  54 , ( -1/9 * p + -7/27 )
  55  ]_m )
  56 , ( 1/36 * m + [ ( -1/9 * p + -23/108 )
  57 , ( -1/9 * p + -13/54 )
  58  ]_m )
  59  ]_n * n^2 + [ ( ( -1/12 * p + -1/4 )
  60  * m + [ ( 1/8 * p^2 + 1/2 * p + [ 2/9, 19/72, 2/9, 7/72 ]_p )
  61 , ( 1/8 * p^2 + 7/12 * p + [ 17/36, 37/72, 17/36, 25/72 ]_p )
  62  ]_m )
  63 , ( ( -1/12 * p + -2/9 )
  64  * m + [ ( 1/8 * p^2 + 17/36 * p + [ 5/54, 47/216, 7/27, 47/216 ]_p )
  65 , ( 1/8 * p^2 + 5/9 * p + [ 17/54, 95/216, 13/27, 95/216 ]_p )
  66  ]_m )
  67 , ( ( -1/12 * p + -7/36 )
  68  * m + [ ( 1/8 * p^2 + 4/9 * p + [ 11/54, 17/216, 11/54, 53/216 ]_p )
  69 , ( 1/8 * p^2 + 19/36 * p + [ 43/108, 59/216, 43/108, 95/216 ]_p )
  70  ]_m )
  71 , ( ( -1/12 * p + -1/4 )
  72  * m + [ ( 1/8 * p^2 + 1/2 * p + [ 2/9, 7/72, 2/9, 19/72 ]_p )
  73 , ( 1/8 * p^2 + 7/12 * p + [ 17/36, 25/72, 17/36, 37/72 ]_p )
  74  ]_m )
  75 , ( ( -1/12 * p + -2/9 )
  76  * m + [ ( 1/8 * p^2 + 17/36 * p + [ 7/27, 47/216, 5/54, 47/216 ]_p )
  77 , ( 1/8 * p^2 + 5/9 * p + [ 13/27, 95/216, 17/54, 95/216 ]_p )
  78  ]_m )
  79 , ( ( -1/12 * p + -7/36 )
  80  * m + [ ( 1/8 * p^2 + 4/9 * p + [ 11/54, 53/216, 11/54, 17/216 ]_p )
  81 , ( 1/8 * p^2 + 19/36 * p + [ 43/108, 95/216, 43/108, 59/216 ]_p )
  82  ]_m )
  83  ]_n * n + [ ( ( 1/16 * p^2 + 3/8 * p + [ 1/2, 9/16, 1/2, 5/16 ]_p )
  84  * m + [ ( -1/24 * p^3 + -3/16 * p^2 + 1/6 * p + [ 1, 17/16, 3/4, 5/16 ]_p )
  85 , ( -1/24 * p^3 + -1/4 * p^2 + -5/24 * p + [ 1/2, 1/2, 1/4, 0 ]_p )
  86  ]_m )
  87 , ( ( 1/16 * p^2 + 1/3 * p + [ 7/36, 55/144, 4/9, 55/144 ]_p )
  88  * m + [ ( -1/24 * p^3 + -3/16 * p^2 + 1/18 * p + [ 35/324, 869/1296, 56/81, 545/1296 ]_p )
  89 , ( -1/24 * p^3 + -1/4 * p^2 + -5/18 * p + [ -7/81, 187/648, 20/81, 25/648 ]_p )
  90  ]_m )
  91 , ( ( 1/16 * p^2 + 7/24 * p + [ 5/18, 13/144, 5/18, 49/144 ]_p )
  92  * m + [ ( -1/24 * p^3 + -3/16 * p^2 + -1/36 * p + [ 16/81, 13/1296, 145/324, 553/1296 ]_p )
  93 , ( -1/24 * p^3 + -1/4 * p^2 + -23/72 * p + [ -13/162, -13/162, 55/324, 7/81 ]_p )
  94  ]_m )
  95 , ( ( 1/16 * p^2 + 3/8 * p + [ 1/2, 5/16, 1/2, 9/16 ]_p )
  96  * m + [ ( -1/24 * p^3 + -3/16 * p^2 + 1/6 * p + [ 3/4, 5/16, 1, 17/16 ]_p )
  97 , ( -1/24 * p^3 + -1/4 * p^2 + -5/24 * p + [ 1/4, 0, 1/2, 1/2 ]_p )
  98  ]_m )
  99 , ( ( 1/16 * p^2 + 1/3 * p + [ 4/9, 55/144, 7/36, 55/144 ]_p )
 100  * m + [ ( -1/24 * p^3 + -3/16 * p^2 + 1/18 * p + [ 56/81, 545/1296, 35/324, 869/1296 ]_p )
 101 , ( -1/24 * p^3 + -1/4 * p^2 + -5/18 * p + [ 20/81, 25/648, -7/81, 187/648 ]_p )
 102  ]_m )
 103 , ( ( 1/16 * p^2 + 7/24 * p + [ 5/18, 49/144, 5/18, 13/144 ]_p )
 104  * m + [ ( -1/24 * p^3 + -3/16 * p^2 + -1/36 * p + [ 145/324, 553/1296, 16/81, 13/1296 ]_p )
 105 , ( -1/24 * p^3 + -1/4 * p^2 + -23/72 * p + [ 55/324, 7/81, -13/162, -13/162 ]_p )
 106  ]_m )
 107  ]_n )
 108
 109 ---------------------------------------
 110 Domain:
 111          p  -100 >= 0
 112          - n + 100 >= 0
 113          m  >= 0
 114          n  >= 0
 115
 116 Vertices:
 117 [ n/3,  n/3+m/2,  -n/6+25 ]
 118 [ n/3,  n/3+m/2,  0 ]
 119 [ n/3,  0,  -n/6+25 ]
 120 [ n/3,  0,  0 ]
 121 [ 0,  m/2,  -n/4+25 ]
 122 [ 0,  m/2,  0 ]
 123 [ 0,  0,  -n/4+25 ]
 124 [ 0,  0,  0 ]
 125
 126 Ehrhart Polynomial:
 127 ( -7/648 * n^3 + [ ( -5/144 * m + [ 191/144, 49/36 ]_m )
 128 , ( -5/144 * m + [ 581/432, 149/108 ]_m )
 129 , ( -5/144 * m + [ 589/432, 151/108 ]_m )
 130  ]_n * n^2 + [ ( 25/6 * m + [ 455/36, 305/36 ]_m )
 131 , ( 151/36 * m + [ 1051/108, 299/54 ]_m )
 132 , ( 38/9 * m + [ 763/108, 307/108 ]_m )
 133 , ( 25/6 * m + [ 455/36, 305/36 ]_m )
 134 , ( 151/36 * m + [ 1069/108, 154/27 ]_m )
 135 , ( 38/9 * m + [ 763/108, 307/108 ]_m )
 136  ]_n * n + [ ( 13 * m + [ 26, 13 ]_m )
 137 , ( 1201/144 * m + [ 18059/1296, 3625/648 ]_m )
 138 , ( 151/36 * m + [ 1783/324, 106/81 ]_m )
 139 , ( 205/16 * m + [ 407/16, 101/8 ]_m )
 140 , ( 79/9 * m + [ 1181/81, 470/81 ]_m )
 141 , ( 613/144 * m + [ 7699/1296, 1091/648 ]_m )
 142 , ( 51/4 * m + [ 103/4, 13 ]_m )
 143 , ( 1201/144 * m + [ 17735/1296, 3463/648 ]_m )
 144 , ( 40/9 * m + [ 466/81, 106/81 ]_m )
 145 , ( 205/16 * m + [ 411/16, 103/8 ]_m )
 146 , ( 307/36 * m + [ 4643/324, 470/81 ]_m )
 147 , ( 613/144 * m + [ 7375/1296, 929/648 ]_m )
 148  ]_n )
 149
 150 ---------------------------------------
 151 Domain:
 152          - p + 100 >= 0
 153          - n + p  >= 0
 154          m  >= 0
 155          n  >= 0
 156
 157 Vertices:
 158 [ n/3,  n/3+m/2,  -n/6+p/4 ]
 159 [ n/3,  n/3+m/2,  0 ]
 160 [ n/3,  0,  -n/6+p/4 ]
 161 [ n/3,  0,  0 ]
 162 [ 0,  m/2,  -n/4+p/4 ]
 163 [ 0,  m/2,  0 ]
 164 [ 0,  0,  -n/4+p/4 ]
 165 [ 0,  0,  0 ]
 166
 167 Ehrhart Polynomial:
 168 ( -7/648 * n^3 + [ ( -5/144 * m + [ ( 1/72 * p + -1/16 )
 169 , ( 1/72 * p + -1/36 )
 170  ]_m )
 171 , ( -5/144 * m + [ ( 1/72 * p + -19/432 )
 172 , ( 1/72 * p + -1/108 )
 173  ]_m )
 174 , ( -5/144 * m + [ ( 1/72 * p + -11/432 )
 175 , ( 1/72 * p + 1/108 )
 176  ]_m )
 177  ]_n * n^2 + [ ( ( 1/24 * p + 0 )
 178  * m + [ ( 1/8 * p + [ 5/36, 13/72, 5/36, 1/72 ]_p )
 179 , ( 1/12 * p + [ 5/36, 13/72, 5/36, 1/72 ]_p )
 180  ]_m )
 181 , ( ( 1/24 * p + 1/36 )
 182  * m + [ ( 7/72 * p + [ 1/108, 29/216, 19/108, 29/216 ]_p )
 183 , ( 1/18 * p + [ -1/54, 23/216, 4/27, 23/216 ]_p )
 184  ]_m )
 185 , ( ( 1/24 * p + 1/18 )
 186  * m + [ ( 5/72 * p + [ 13/108, -1/216, 13/108, 35/216 ]_p )
 187 , ( 1/36 * p + [ 7/108, -13/216, 7/108, 23/216 ]_p )
 188  ]_m )
 189 , ( ( 1/24 * p + 0 )
 190  * m + [ ( 1/8 * p + [ 5/36, 1/72, 5/36, 13/72 ]_p )
 191 , ( 1/12 * p + [ 5/36, 1/72, 5/36, 13/72 ]_p )
 192  ]_m )
 193 , ( ( 1/24 * p + 1/36 )
 194  * m + [ ( 7/72 * p + [ 19/108, 29/216, 1/108, 29/216 ]_p )
 195 , ( 1/18 * p + [ 4/27, 23/216, -1/54, 23/216 ]_p )
 196  ]_m )
 197 , ( ( 1/24 * p + 1/18 )
 198  * m + [ ( 5/72 * p + [ 13/108, 35/216, 13/108, -1/216 ]_p )
 199 , ( 1/36 * p + [ 7/108, 23/216, 7/108, -13/216 ]_p )
 200  ]_m )
 201  ]_n * n + [ ( ( 1/8 * p + [ 1/2, 3/8, 1/4, 1/8 ]_p )
 202  * m + [ ( 1/4 * p + [ 1, 3/4, 1/2, 1/4 ]_p )
 203 , ( 1/8 * p + [ 1/2, 3/8, 1/4, 1/8 ]_p )
 204  ]_m )
 205 , ( ( 1/12 * p + [ 1/144, 55/144, 37/144, 19/144 ]_p )
 206  * m + [ ( 5/36 * p + [ 59/1296, 869/1296, 491/1296, 221/1296 ]_p )
 207 , ( 1/18 * p + [ 25/648, 187/648, 79/648, 25/648 ]_p )
 208  ]_m )
 209 , ( ( 1/24 * p + [ 1/36, -7/72, 5/18, 11/72 ]_p )
 210  * m + [ ( 1/18 * p + [ -17/324, -17/324, 145/324, 37/324 ]_p )
 211 , ( 1/72 * p + [ -13/162, 29/648, 55/324, -25/648 ]_p )
 212  ]_m )
 213 , ( ( 1/8 * p + [ 5/16, 1/16, 5/16, 9/16 ]_p )
 214  * m + [ ( 1/4 * p + [ 7/16, 1/16, 15/16, 17/16 ]_p )
 215 , ( 1/8 * p + [ 1/8, 0, 5/8, 1/2 ]_p )
 216  ]_m )
 217 , ( ( 1/12 * p + [ 4/9, 7/36, -1/18, 7/36 ]_p )
 218  * m + [ ( 5/36 * p + [ 56/81, 35/324, -23/162, 197/324 ]_p )
 219 , ( 1/18 * p + [ 20/81, -7/81, -7/81, 67/162 ]_p )
 220  ]_m )
 221 , ( ( 1/24 * p + [ 13/144, 49/144, 13/144, -23/144 ]_p )
 222  * m + [ ( 1/18 * p + [ 499/1296, 553/1296, -149/1296, -311/1296 ]_p )
 223 , ( 1/72 * p + [ 191/648, 7/81, -133/648, -13/162 ]_p )
 224  ]_m )
 225 , ( ( 1/8 * p + [ 1/4, 3/8, 1/2, 1/8 ]_p )
 226  * m + [ ( 1/4 * p + [ 3/4, 1, 3/4, 0 ]_p )
 227 , ( 1/8 * p + [ 1/2, 5/8, 1/4, -1/8 ]_p )
 228  ]_m )
 229 , ( ( 1/12 * p + [ 1/144, 19/144, 37/144, 55/144 ]_p )
 230  * m + [ ( 5/36 * p + [ -265/1296, 545/1296, 815/1296, 545/1296 ]_p )
 231 , ( 1/18 * p + [ -137/648, 187/648, 241/648, 25/648 ]_p )
 232  ]_m )
 233 , ( ( 1/24 * p + [ 5/18, -7/72, 1/36, 11/72 ]_p )
 234  * m + [ ( 1/18 * p + [ 16/81, -49/162, 16/81, 59/162 ]_p )
 235 , ( 1/72 * p + [ -13/162, -133/648, 55/324, 137/648 ]_p )
 236  ]_m )
 237 , ( ( 1/8 * p + 5/16 )
 238  * m + [ ( 1/4 * p + [ 11/16, 5/16, 11/16, 13/16 ]_p )
 239 , ( 1/8 * p + [ 3/8, 0, 3/8, 1/2 ]_p )
 240  ]_m )
 241 , ( ( 1/12 * p + 7/36 )
 242  * m + [ ( 5/36 * p + [ 143/324, 29/81, 35/324, 29/81 ]_p )
 243 , ( 1/18 * p + [ 20/81, 53/324, -7/81, 53/324 ]_p )
 244  ]_m )
 245 , ( ( 1/24 * p + 13/144 )
 246  * m + [ ( 1/18 * p + [ 175/1296, 229/1296, 175/1296, 13/1296 ]_p )
 247 , ( 1/72 * p + [ 29/648, 7/81, 29/648, -13/162 ]_p )
 248  ]_m )
 249  ]_n )
 250