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