Downloads

VersionChangelog
Fix for macOS users
July 19, 2022
macOS users may experience the consequences of a known issue related to multiprocessing and Pool,
preventing the execution of Borcherds’ method.
The fix is easy to implement, proceed as follows:
In
main_v111_higher53_multicore_parallel.sage,
line 4, replace
from multiprocessing import Pool
by
from multiprocess import Pool
ThesisPrograms_07_01_2022
July 1, 2022
Initial release
ZIP file containing the
ThesisPrograms_07_01_2022 folder.
Tested under
Sage 9.5 / Python 3.10.5 / Magma V2.22-3
The documentation will soon be updated.
Additional content will soon be posted.

Remark
The file words_list.txt is dwyl’s list of 466k English words.
The names of the folder and various files created during the execution of Borcherds’ method
are obtained from two words randomly picked from this list
at the beginning of the execution of the method.