1: \begin{abstract} 

2: The subject matter of this paper is  the geometry of

3: the affine group  over the integers,

4:  $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$.    Turing-computable complete  

5: $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-orbit invariants

6: are constructed  for   angles, segments,  triangles and ellipses.

7: In rational affine 

8: $\mathsf{GL}(n,\mathbb Q)\ltimes \mathbb Q^n$-geometry, ellipses

9: are classified by the Clifford--Hasse--Witt invariant, via 

10: the Hasse-Minkowski theorem.

11: We classify ellipses in  

12: $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-geometry   

13: combining  results  by

14: Apollonius of Perga and Pappus of Alexandria

15: with the Hirzebruch-Jung continued fraction algorithm and 

16: the Morelli-W\l odarczyk solution of the weak

17: Oda conjecture on the factorization of toric varieties.

18: We then consider  {\it rational polyhedra},

19: i.e., finite unions of simplexes in  $\mathbb R^n$  with  rational vertices.  Markov's unrecognizability theorem for combinatorial manifolds states

20: the undecidability of  the problem whether

21: two rational polyhedra $P$ and $P'$  are  continuously  

22: $\mathsf{GL}(n,\mathbb Q)\ltimes \mathbb Q^n$-equidissectable.  

23: The same problem for the continuous 

24:  $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-equi\-dis\-sect\-ability 

25:  of  $P$ and $P'$  is open. 

26: We prove the  decidability of the problem whether two

27: rational polyhedra  $P,Q$   in $\mathbb R^n$ have the same 

28: $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-orbit.  

29: \end{abstract}

30: