diff --git a/src/sage/modules/free_module.py b/src/sage/modules/free_module.py index 7c880f87b29..10343f41b95 100644 --- a/src/sage/modules/free_module.py +++ b/src/sage/modules/free_module.py @@ -187,6 +187,7 @@ import sage.rings.integer_ring import sage.rings.rational_field from sage.rings.ring import IntegralDomain, is_Ring +from sage.categories.fields import Fields from sage.categories.infinite_enumerated_sets import InfiniteEnumeratedSets from sage.categories.integral_domains import IntegralDomains from sage.categories.principal_ideal_domains import PrincipalIdealDomains @@ -4347,7 +4348,7 @@ def __init__(self, base_field, dimension, degree, sparse=False, category=None): sage: FreeModule_generic_field(QQ, 5, 5) ) failed: NotImplementedError> """ - if not isinstance(base_field, ring.Field): + if base_field not in Fields(): raise TypeError("The base_field (=%s) must be a field" % base_field) super().__init__(base_field, dimension, degree, sparse=sparse, category=category)