Secondary Steenrod algebra calculations

<p>This repository contains data files generated by <a href="https://zenodo.org/record/6329789">ext-rs</a> pertaining to the secondary Steenrod algebra algorithm. This supersedes <a href="https://zenodo.org/record/4766457">https://zenodo.org/record/4766457</a> but is not a strict superset of the data.</p> <p>This repository contains three files.</p> <ul> <li> <p><code>d2-data.zip</code> is a zip file containing the generated data, which are as follows:</p> <ul> <li><code>d2</code>: The d₂ differentials. If the target bidegree is empty, the differentials are omitted.</li> <li> <p><code>product_a</code>: The secondary product of all elements with <code>[a]</code>.</p> </li> <li> <p><code>massey_a_b</code>: The secondary Massey product <code>&lt;[a], [b], -&gt;</code>. The only exception is <code>massey_P</code> which contains the Adams periodicity operator <code>&lt;[h_3], [h_0^4], -&gt;</code>.</p> </li> <li> <p><code>filtration_one</code>: A list of all filtration one products.</p> </li> <li> <p><code>charts.pdf</code>: The Adams charts showing the d₂&#39;s and the E₃ page, drawn by TikZ.</p> </li> <li> <p><code>clean_charts.pdf</code>: The same charts but without showing h₂ products.</p> </li> <li> <p><code>differentials.gz</code>: The differentials in our minimal resolution, in a human-readable plain text format.</p> </li> <li> <p><code>change_of_basis</code>: The correspondence between our basis and Bruner&#39;s basis in <a href="https://arxiv.org/abs/2109.13117">arXiv:2109.13117</a>. Each row expresses one of our basis element in terms of Bruner&#39;s basis.</p> </li> </ul> <p>Unless otherwise suggested by the file extension, all files are plain text (utf-8) files. The script and the save file are known to be compatible with the version of the code in <a href="https://zenodo.org/record/5898397">https://zenodo.org/record/5898397</a></p> </li> <li> <p><code>script.sh</code> is a script that generates the files above, except for <code>change_of_basis</code> and the charts. This is to be run in the `ext/` directory of&nbsp;<a href="https://zenodo.org/record/6329789">sseq</a>. If the execution of the script is interrupted halfway through, it is safe to simply run the script again with the safe parameters to resume computation; the vast majority of the computation would have been saved in the save directory and need not be recomputed (If a save file was corrupted due to the interruption, the program will panic instead of silently propagate errors). Similarly, the script can be run with a larger/different range and previous computations would be reused.</p> </li> <li> <p><code>S_2_milnor.tar</code> is an archive containing the algorithm&#39;s save file for the above computation, up to <code>(n, s) = (140, 72)</code>.</p> </li> </ul>