"Sage does not calculate embeddings of finite fields yet" — does it?
The documentations for finite fields says:
While Sage supports basic arithmetic in finite fields some more advanced features for computing with finite fields are still not implemented. For instance, Sage does not calculate embeddings of finite fields yet.
However, the section "Finite field morphisms" says:
This file provides several classes implementing:
• embeddings between finite fields
• Frobenius isomorphism on finite fields
So is this a lack of updating in the docs, or somethings regarding the fifi embeddings is still not implemented?
More generally, what are these "more advanced features" not implemented at the moment?