Hello, and thanks for your interest!
In this folder you find the Magma code to verify the computational claims of our paper (PaperFormalVerification.m).
Here is the preprint: https://arxiv.org/abs/2204.08019
Here is the published version: https://doi.org/10.1016/j.jpaa.2023.107417
You also find a basic code to play with the elliptic loops defined over the local rings you like (ConcreteExamples.m).
Should you need to contact us, please write me on [email protected].
Best,
Daniele