Examples on the Poincaré disc
This applet exemplifies the uses of some tools developed by the author to work with the Poincaré disc model of hyperbolic geometry inside GeoGebra.
Here we have a hyperbolic triangle ABC, a point O and a hyperbolic line PQ which can all be moved.
A'B'C' is the reflection of ABC through PQ and A''B''C'' is the result of rotating ABC in an angle alpha around point O.