wbhart
commented
2 years ago Which finite field lattice are you referring to? The one computed for compatible embeddings as given by the Bosma, Cannon, Steel algorithm?
Can you exhibit an example of the behaviour you don't like? I don't see degree as a field for the struct for this, nor any interface where one provides the degree of the field desired.
the lattice of finite fields identifies fields by degree - which cannot work if the fields have user chosen defining polynomials. We might (will have!) mutiple fields with the same degree (and same characteristic) and different polynomials....