-   ${\widehat{\operatorname{co}}}(A')={\operatorname{co}}(A')\cap \Lambda_{A'}$, the smallest convex progression containing $A'$.

We say that $A'$ is *reduced* if $\Lambda_{A'}=\mathbb{Z}^k$, or equivalently ${\operatorname{co}}(A')={\widehat{\operatorname{co}}}(A')$ and $A'$ is not contained in a hyperplane.

We will typically denote regions of $\mathbb{R}^k$ with a tilde such as $\widetilde{A'}\subset \mathbb{R}^k$. By abuse of notation, we will use $|\cdot |$ to refer both to cardinality of sets, and for volumes of sets. It will be clear with the tilde notation whether we intend to use discrete or continuous volume, and from context what dimension we are considering.

When we define a polytope or affine subspace $\widetilde{P}\subset \mathbb{R}^k$, we let $P=\widetilde{P}\cap \mathbb{Z}^k$.

Given numbers $n_1,\ldots,n_k$, we define the discrete box $$B(n_1,\ldots,n_k)=\prod_{i=1}^k \{1,\ldots,n_i\}.$$ We write $B$ instead of $B(n_1,\ldots,n_k)$ when $n_1,\ldots,n_k$ are clear from context.

In and b), we shall assume without loss of generality that the vectors $v_i$ coincide with basis vectors $e_i$ of $\mathbb{R}^k$ and $b=\vec{1}$, writing the generalized arithmetic progression $B=B(n_1,\ldots,n_k;v_1,\ldots,v_k;b)=B(n_1,\ldots,n_k)$.

\[redconv\] In the proofs of and b), we shall assume $A$ is reduced, as allowed by below.

We define the projection $$\pi:\mathbb{Z}^k=\mathbb{Z}\times\mathbb{Z}^{k-1}\to \{0\}\times\mathbb{Z}^{k-1}$$ to be the projection away from the first coordinate.

For $\widetilde{A'}\subset \mathbb{R}^k$ a subset such that ${\widetilde{\operatorname{co}}}(\widetilde{A'})$ is a polytope with
-    $ { \widehat{\operatorname{co}}}(A')={\operatorname{co}}(A')\cap \Lambda_{A'}$, the smallest convex progression containing $ A'$. 

 We say that $ A'$ is * dilute * if $ \Lambda_{A'}=\mathbb{Z}^k$, or equivalently $ { \operatorname{co}}(A')={\widehat{\operatorname{co}}}(A')$ and $ A'$ is not control in a hyperplane. 

 We will typically denote regions of $ \mathbb{R}^k$ with a tilde such as $ \widetilde{A'}\subset \mathbb{R}^k$. By abuse of note, we will use $ |\cdot |$ to refer both to cardinality of sets, and for volume of sets. It will be clear with the tilde note whether we mean to use discrete or continuous book, and from context what dimension we are considering. 

 When we specify a polytope or affine subspace $ \widetilde{P}\subset \mathbb{R}^k$, we lease $ P=\widetilde{P}\cap \mathbb{Z}^k$. 

 Given numbers $ n_1,\ldots, n_k$, we define the discrete box $ $ B(n_1,\ldots, n_k)=\prod_{i=1}^k \{1,\ldots, n_i\}.$$ We write $ B$ alternatively of $ B(n_1,\ldots, n_k)$ when $ n_1,\ldots, n_k$ are clear from context. 

 In and b), we shall assume without loss of generalization that the vectors $ v_i$ coincide with basis vector $ e_i$ of $ \mathbb{R}^k$ and $ b=\vec{1}$, writing the generalize arithmetic progression $ B = B(n_1,\ldots, n_k;v_1,\ldots, v_k;b)=B(n_1,\ldots, n_k)$. 

 \[redconv\ ] In the proofs of and b), we shall assume $ A$ is reduce, as allowed by below. 

 We define the projection $ $ \pi:\mathbb{Z}^k=\mathbb{Z}\times\mathbb{Z}^{k-1}\to \{0\}\times\mathbb{Z}^{k-1}$$ to be the projection aside from the first coordinate. 

 For $ \widetilde{A'}\subset \mathbb{R}^k$ a subset such that $ { \widetilde{\operatorname{co}}}(\widetilde{A'})$ is a polytope with
-   ${\aidehat{\operatorname{co}}}(A')={\optratorname{co}}(A')\cap \Lambda_{A'}$, the sjallest zonvex progression containinj $A'$.

Ww say that $A'$ is *reduced* if $\Uambda_{A'}=\manhbb{Z}^k$, or equmvalently ${\operatorname{co}}(A')={\widehzb{\operctirname{co}}}(A')$ and $S'$ is not cmntained in a vyoexplane.

We will typically denote regiogs of $\mstjbb{R}^k$ with a tylde fuch as $\widetilde{A'}\subset \mathbb{R}^k$. By aguse of notation, we eill use $|\cdot |$ to refer bohh tl cardinality of sfts, and for voltnes of sets. Kt will be clear with jhe tilde notation whether we ingend co use disctzre lt continuous voluie, and from gpntext what domension we arc convidwring.

When we define a polytope or affing subspace $\wndetilde{P}\subset \mathbv{R}^j$, we net $[=\widdrilae{P}\da' \mzthbb{Z}^n$.

Giten numbers $n_1,\ldots,n_k$, ww define the discreue fix $$B(n_1,\ldots,n_k)=\pdod_{i=1}^k \{1,\jdjts,n_i\}.$$ We write $B$ instead of $B(n_1,\ldots,n_k)$ wven $n_1,\ldots,n_k$ are clear fron context.

In and b), we dhall asstme without loss of generality that the vectors $v_h$ coiickde wlth cqsls vectors $e_i$ of $\mathbb{R}^k$ and $b=\vec{1}$, writing thq gtnegalized arithmetig progression $B=B(n_1,\lcohs,m_h;v_1,\ldots,v_k;b)=B(n_1,\laots,n_k)$.

\[xsddonv\] In the proofs of and b), we shall asfume $A$ is reduced, as allowed by below.

We defpne rhe projection $$\pi:\mcthbb{Z}^k=\mathby{Z}\timex\mathnb{Z}^{k-1}\to \{0\}\times\mathbb{Z}^{k-1}$$ to be fhe projectlon away rfom the first courdpnata.

For $\widtgilde{A'}\subset \mathfb{R}^k$ a suuset xuch thxt ${\wodetilqe{\operatorjame{co}}}(\widetilde{A'})$ is a popytopg with
- ${\widehat{\operatorname{co}}}(A')={\operatorname{co}}(A')\cap \Lambda_{A'}$, the smallest convex progression We that $A'$ *reduced* if $\Lambda_{A'}=\mathbb{Z}^k$, is contained in a We will typically regions of $\mathbb{R}^k$ with a tilde as $\widetilde{A'}\subset \mathbb{R}^k$. By abuse of notation, we will use $|\cdot |$ to both to cardinality of sets, and for volumes of sets. It will be with tilde whether intend to use discrete or continuous volume, and from context what dimension we are considering. When define a polytope or affine subspace $\widetilde{P}\subset \mathbb{R}^k$, let $P=\widetilde{P}\cap \mathbb{Z}^k$. Given $n_1,\ldots,n_k$, we define the discrete $$B(n_1,\ldots,n_k)=\prod_{i=1}^k We write instead $B(n_1,\ldots,n_k)$ $n_1,\ldots,n_k$ are clear context. In and b), we shall assume without loss of generality that the vectors $v_i$ coincide with vectors $e_i$ and $b=\vec{1}$, the arithmetic $B=B(n_1,\ldots,n_k;v_1,\ldots,v_k;b)=B(n_1,\ldots,n_k)$. \[redconv\] In of and b), we shall assume as allowed by below. We define the projection \{0\}\times\mathbb{Z}^{k-1}$$ to the projection away from the first For $\widetilde{A'}\subset \mathbb{R}^k$ a subset such that ${\widetilde{\operatorname{co}}}(\widetilde{A'})$ a polytope with
-   ${\widehat{\operatorname{co}}}(A')={\opeRatorname{cO}}(A')\cap \lamBda_{a'}$, tHe smAlleSt convex progreSSion Containing $A'$.

We say that $A'$ iS *reduCeD* If $\LaMBdA_{A'}=\matHbb{Z}^k$, or EQuIVAleNtLy ${\OpeRaTOrName{cO}}(A')={\wIdehat{\oPeratornamE{co}}}(a')$ aNd $A'$ is not contAInEd in a hyperPlaNe.

We will typiCalLy denoTe RegIOns of $\MatHbb{R}^k$ With a tILde sucH as $\widetiLdE{a'}\subseT \Mathbb{R}^K$. bY aBuse Of notation, we will uSE $|\cDOt |$ to refer both tO cardiNaLItY OF seTs, aNd for volumEs Of setS. it will bE ClEAR WitH The tilde notatIon whether wE IntEnd to uSe DisCRete or ContiNuOUs vOlume, and froM conText what dImensiON we are cONsideriNg.

When We dEfiNe a pOLyToPe oR aFFinE SuBspACe $\wIdetilde{p}\sUbSet \maThbb{r}^K$, WE Let $P=\WidEtilDe{P}\caP \mathbb{Z}^k$.

GiveN nuMberS $N_1,\ldOts,n_k$, We defIne tHe DiscrEte box $$b(n_1,\ldoTs,N_k)=\prod_{i=1}^k \{1,\ldots,n_i\}.$$ we wrIte $B$ insteAd oF $B(N_1,\ldOtS,n_k)$ whEN $n_1,\ldotS,n_k$ Are Clear frOm conteXT.

In AnD B), WE sHall assume without lOsS OF gEneralitY that tHE vEcTOrs $v_i$ coiNcIde With BASis veCtorS $E_i$ Of $\mathbb{r}^k$ and $b=\VEc{1}$, WrIting thE gEneralIzEd aRitHmetiC ProgRessioN $B=B(n_1,\ldotS,n_k;v_1,\lDOts,v_k;b)=B(n_1,\ldots,n_K)$.

\[Redconv\] In the pROoFS Of ANd b), wE shAll assume $A$ iS redUCed, aS allOWeD by BElow.

WE defiNe THe PRojection $$\pi:\mathbb{Z}^k=\MaThbb{Z}\tImes\mAthbb{Z}^{k-1}\to \{0\}\timeS\mathbb{Z}^{k-1}$$ tO BE The projeCtioN AwAY from the first cOordiNate.

For $\widETilde{A'}\suBset \mAthbb{R}^k$ a Subset sucH THat ${\widetIldE{\opEraTorNAMe{Co}}}(\widetilde{A'})$ iS A PolyToPe with
-   ${\widehat{\operatorna me{co}}}(A ')={\ ope rat or name {co} }(A')\cap \Lam b da_{ A'}$, the smallest con vex p ro g ress i on  cont aining$ A' $ . 

W esa y t ha t  $ A'$ i s * reduced * if $\Lam bda _{ A'}=\mathbb{ Z }^ k$, or equ iva lently ${\op era tornam e{ co} } (A')= {\w ideha t{\ope r atorna me{co}}}( A' ) $ and$ A'$ isn o tcont ained in a hyperp l an e .

We will typ ically  d e no t e  re gio ns of $\ma th bb{R} ^ k$ with at i l des uch as $\wide tilde{A'}\s u bse t \mat hb b{R } ^k$. B y abu se ofnotation, w e wi ll use $| \cdot| $ to re f er both  to ca rdi nal ityo fse ts,  a n d f o rvol u mes  of sets .It  will  bec l e a r wi ththetilde  notation whe the r we int end t o use  dis cr ete o r cont inuou svolume, and fro m co ntext wha t d im ens io n wea re con sid eri ng.

Wh en we d e fin ea p ol ytope or affine su bs p a ce  $\widet ilde{P } \s ub s et \math bb {R} ^k$, w e let  $P= \ wi detilde{ P}\cap \m at hbb{Z}^ k$ .

Giv en  nu mbe rs $n _ 1,\l dots,n _k$, wedefin e  the discreteb ox $$B(n_1,\l d ot s , n_ k )=\p rod _{i=1}^k \{ 1,\l d ots, n_i\ } .$ $ W e  writ e $B$  i n st e ad of $B(n_1,\ldots ,n _k)$ w hen $ n_1,\ldots,n_ k$ are cle a r from con text . 
I n and b), we s hallassume wit h out loss  of g eneralit y that th e vectors$v_ i$coi nci d e  w ith basis vec t o rs $ e_ i$ of $ \ma thbb{R} ^k$  an d $ b=\ ve c{1}$, wr iting th ege ne ra liz ed ar i thmeticpr ogr es sio n $B= B (n_1,\ ldots ,n_k ;v _1 , \ld ots,v_k ; b) = B (n_1 ,\ ld ots, n_k )$ .

\[ redc o nv\ ] In th e proofsofa nd b ),  w e shall  assume $A$ i sreduced, a sall owed b y below.
We define the projectio n  $$\pi: \ma thbb{ Z}^k =\mathbb{ Z}\ times\ mat h bb{Z}^ {k-1}\ to \{ 0\ }\t i m es\ma t h bb {Z} ^{ k-1}$$ tob e  th e pro je ctio n awayfrom the first coo r din ate.

For $\w ide tild e { A' }\s u bs e t \ ma t hbb { R }^k$ a subset s uch that $ {\ w id etilde{\op e rat or name{co }}}(\wi detil d e{A'})$  is a pol ytope wit h
- _ ${\widehat{\operatorname{co}}}(A')={\operatorname{co}}(A')\cap_\Lambda_{A'}$, the smallest convex_progression containing_$A'$.

We_say that_$A'$_is *reduced* if_$\Lambda_{A'}=\mathbb{Z}^k$, or equivalently_${\operatorname{co}}(A')={\widehat{\operatorname{co}}}(A')$ and $A'$ is_not contained in_a_hyperplane.

We will typically denote regions of $\mathbb{R}^k$ with a tilde such as $\widetilde{A'}\subset \mathbb{R}^k$._By_abuse of_notation,_we_will use $|\cdot |$ to_refer both to cardinality of_sets, and_for volumes of sets. It will be clear_with_the tilde notation_whether we intend to use discrete or continuous volume,_and from context what dimension we_are considering.

When we_define_a_polytope or affine subspace_$\widetilde{P}\subset \mathbb{R}^k$, we let $P=\widetilde{P}\cap \mathbb{Z}^k$.

Given_numbers $n_1,\ldots,n_k$, we define the discrete_box $$B(n_1,\ldots,n_k)=\prod_{i=1}^k \{1,\ldots,n_i\}.$$ We write $B$ instead_of $B(n_1,\ldots,n_k)$ when $n_1,\ldots,n_k$ are clear_from context.

In and b), we_shall assume_without loss of generality that_the vectors $v_i$_coincide with_basis vectors $e_i$_of $\mathbb{R}^k$ and $b=\vec{1}$, writing the_generalized arithmetic progression_$B=B(n_1,\ldots,n_k;v_1,\ldots,v_k;b)=B(n_1,\ldots,n_k)$.

\[redconv\] In the proofs of and_b),_we shall assume_$A$_is_reduced, as_allowed by below.

We_define_the projection_$$\pi:\mathbb{Z}^k=\mathbb{Z}\times\mathbb{Z}^{k-1}\to_\{0\}\times\mathbb{Z}^{k-1}$$ to be the projection away_from_the first coordinate.

For $\widetilde{A'}\subset \mathbb{R}^k$ a subset_such that ${\widetilde{\operatorname{co}}}(\widetilde{A'})$ is_a_polytope with