ABSTRACT
Defi nition 8.1 (Gyrocircles). Let S = {A1, A2, A3} be a gyrobarycentrically independent set of three gyropoints in an Einstein gyrovector space (Rns, ⊕, ⊗), n ≥ 2, and let
A3 = A1⊕Span{ A1⊕A2, A1⊕ A3} ⊂ Rn. (8.1) The locus of a gyropoint in A3 ∩ Rns which is at a constant gyrodistance r from a fi xed gyropoint O ∈ A3 ∩ Rns is a gyrocircle C(r, O) with gyrocenter O and gyroradius r.
