Dataset for "Rigorous computer-assisted bounds on the period doubling renormalisation fixed point and eigenfunctions in maps with critical point of degree 4"

Source code to reproduce the rigorous results and figures of the preprint jmp21-ar-00685 originally submitted to the journal on 2021-04-22 along with the preprint. (The Zenodo repository contains an archived copy of the GitHub repository named andrewburbanks/burbanks-2021-04-22-code-rigorous-degree-4-jmp21-ar-00685) The corresponding paper has subsequently been published in the Journal of Mathematical Physics. Volume 62, Issue 11, Article 112701 (2021).