Reinier Broker, Stefan Erickson, Diane Quan, Colin Weir
Implement a native inversion for finite extensions of Qp.
Implemented inversion for elements in Qp.
Still needs to be editted for syntax conventions, error messages, examples, and documentation. Also requires optimization and improved code.
Code should eventually be replaced by superior FLINT code by Sebastian Pancratz; requires FLINT 2 to be incorporated into Sage. See #12173.