All Maple sheets in a compressed .zip file.
Individual Maple sheets with calculations for...
...the elements of the fundamental octagon (vertices, midpoints...)
...the diameters of the empty disks for the dummy points (algebraic and rational)
...the proof of Theorem 1 in the paper
...the expressions of the translations around a vertex of the fundamental domain
...the algebraic degree of the Orientation predicate
...the algebraic degree of the InCircle predicate
...the algebraic degree of the SideOfOctagon predicate