1(* ------------------------------------------------------------------------- *)
2(* Hierarchy of Fermat Two Squares Library                                   *)
3(*                                                                           *)
4(* Author: Joseph Chan                                                       *)
5(* Date: July, 2020                                                          *)
6(* ------------------------------------------------------------------------- *)
7
80 helper         -- helper for arithmetic, algebra, sets, maps and lists.
9* helperNum
10* helperSet
11* helperFunction
12
131 windmill       -- definitions of windmill, mill, flip, and zaiger.
140 helper
15
161 involute       -- basic properties of involution.
170 helper
18
192 involuteFix    -- pairs and fixes of involution.
201 involute
210 helper
22
232 involuteAction -- involution and group action.
241 involute
250 helper
26
270 iterate        -- iteration period of FUNPOW.
28
291 iterateCompute -- iteration period computation, recursion and while-loop.
300 listRange
310 iterate
320 helper
33
343 iterateCompose -- iteration of involution composition.
351 iterateCompute
362 involuteFix
371 involute
380 iterate
390 helper
40
414 twoSquares     -- existence, uniqueness and algorithm (clean version for paper).
422 involuteFix
431 involute
441 windmill
453 iterateCompose
461 iterateCompute
470 iterate
480 groupAction
490 helper
50