From b64d5d8042545a05c3cf0e2677b1da7117f0ceb3 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 21 Feb 2026 10:01:09 -0500 Subject: [PATCH] mjo/clan/clan_operator.py: de-alias FreeModules -> ModulesWithBasis --- mjo/clan/clan_operator.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/mjo/clan/clan_operator.py b/mjo/clan/clan_operator.py index dd57f43..a738d22 100644 --- 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 -- 2.51.0