mjo/clan/clan_operator.py: de-alias FreeModules -> ModulesWithBasis

diff --git a/mjo/clan/clan_operator.py b/mjo/clan/clan_operator.py
index dd57f43c96c22cccffada495cd70036cd3c2b814..a738d2207894d82ff0cf1379363bac5c26a01ad6 100644 (file)
--- a/mjo/clan/clan_operator.py
+++ b/mjo/clan/clan_operator.py
@@ -1,5 +1,5 @@
-from sage.categories.all import FreeModules
 from sage.categories.map import Map
+from sage.categories.modules_with_basis import ModulesWithBasis
 
 def _is_clan(x):
     r"""
@@ -51,11 +51,11 @@ class ClanOperator(Map):
 
         # We need to supply something here to avoid getting the
         # default Homset of the parent FiniteDimensionalAlgebra class,
-        # which messes up e.g. equality testing. We use FreeModules(F)
+        # which messes up e.g. equality testing. We use ModulesWithBasis(F)
         # instead of VectorSpaces(F) because our characteristic polynomial
         # algorithm will need to F to be a polynomial ring at some point.
-        # When F is a field, FreeModules(F) returns VectorSpaces(F) anyway.
-        parent = domain.Hom(codomain, FreeModules(F))
+        # When F is a field, ModulesWithBasis(F) returns VectorSpaces(F) anyway.
+        parent = domain.Hom(codomain, ModulesWithBasis(F))
 
         # The Map initializer will set our parent to a homset, which
         # is explicitly NOT what we want, because these ain't algebra