how can I construct an hyperbolic (8,3) tiling ( see https://en.wikipedia.org/wiki/Octagonal_tiling ) in the Poincare Disk model or Klein Disk model of hyperbolic geometry ?
or:
What are the hyperbolic lengths of all relevant distances (distance center - vertex, distance center midpoint of an edge , length of an edge ed)
If you know the three angles, you can get the lengths of the sides, using the Hyperbolic analog of the formulas for spherical triangles. You do have to be careful, though, I think that in the Law of Cosines, there may be a minus sign slipped in. Sorry to be so sketchy in this answer, I have a ton of other things hanging over me.