Compatible embeddings
Some writing about lattices of compatibly embedded finite fields and their implementation using Nemo/Flint.
Binder
A proof of concept of compatible finite fields using Allombert's algorithm and
Sagemath is
available in the Jupyter notenook embed.ipynb
. It is possible to play with
it with Binder, by clicking on the binder badge : .