Assertion: triangle's element | /r/CapableOf | act in upper half-plane
Facets:
Source sentences:
text: Thus, traces of group elements (and hence also translation lengths of hyperbolic elements acting in the upper half-plane, as well as systoles of Fuchsian subgroups) can be calculated by means of the reduced trace in the quaternion algebra, and the formula