free_module method for finite fields, number fields and p-adics #28481
Description
In support of the ring extension classes in #21413, we want to generalize the functionality of the vector_space method to free modules over other rings. This ticket renames the method to free_module and implements it for p-adic extensions.
Component: algebra
Keywords: padicBordeaux
Author: David Roe
Branch/Commit: 242fecc
Reviewer: Xavier Caruso
Issue created by migration from https://trac.sagemath.org/ticket/28481