(* ------------------------------------------------------------------------- *)
(* Hierarchy of Fermat Two Squares Library                                   *)
(*                                                                           *)
(* Author: Joseph Chan                                                       *)
(* Date: July, 2020                                                          *)
(* ------------------------------------------------------------------------- *)

0 helper         -- helper for arithmetic, algebra, sets, maps and lists.
* helperNum
* helperSet
* helperFunction

1 windmill       -- definitions of windmill, mill, flip, and zaiger.
0 helper

1 involute       -- basic properties of involution.
0 helper

2 involuteFix    -- pairs and fixes of involution.
1 involute
0 helper

2 involuteAction -- involution and group action.
1 involute
0 helper

0 iterate        -- iteration period of FUNPOW.

1 iterateCompute -- iteration period computation, recursion and while-loop.
0 listRange
0 iterate
0 helper

3 iterateCompose -- iteration of involution composition.
1 iterateCompute
2 involuteFix
1 involute
0 iterate
0 helper

4 twoSquares     -- existence, uniqueness and algorithm (clean version for paper).
2 involuteFix
1 involute
1 windmill
3 iterateCompose
1 iterateCompute
0 iterate
0 groupAction
0 helper