Partitioning and Hashing

Last modified December 26, 2021: wip (b5fd822)