Demonstrating the newly implemented lattices of compatibly embedded finite fields in Nemo.
Have a look at <demo.ipynb> to learn about the interface.
Play around with the code in the cloud, thanks to Binder
The code is base on Bosma, Canon and Steel framework.