Update.
Provided convenience-function for the canonical translation.
Some updates.
Started investigating hardness of canonical translation for special cases.
Starting investigating hardness of various forms of PHP.
Further on resolution-complexity of PHP.
Convenience-function for Collatz-sequence.
Comment on defective Maxima-version 5.29.1.
Additional function for SAT-generator for resolution-refutation-search.