“…The mathematical formalism employed in the library cycle is based on Clifford algebras and the Fillmore-Springer-Cnops construction (FSCc), which has a long history, see [24, § 1.1], [20, § 4.1], [19], [25, § 4.2], [26], [13, § 4.2]. Compared to a plain analytical treatment [27,11], FSCc is much more efficient and conceptually coherent in dealing with FLT-invariant properties of cycles. Correspondingly, the computer code based on FSCc is easy to write and maintain.…”