Some writing about lattices of compatibly embedded finite fields and their implementation using Nemo/Flint.
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 : 