Ticket #10672: trac_10672-free_module_category-ts.patch

File trac_10672-free_module_category-ts.patch, 985 bytes (added by tscrim, 9 years ago)
  • sage/categories/vector_spaces.py

    # HG changeset patch
    # User Travis Scrimshaw <tscrim@ucdavis.edu>
    # Date 1379782373 25200
    # Node ID 8b702f12115d58f1bfb654cd7af19ee53316df40
    # Parent  ac852810cba3dba7417a5520bb27f979fbb85806
    #10672: put vector spaces as subcategory of ModulesWithBasis
    
    diff --git a/sage/categories/vector_spaces.py b/sage/categories/vector_spaces.py
    a b class VectorSpaces(Category_module): 
    115115        EXAMPLES::
    116116
    117117            sage: VectorSpaces(QQ).super_categories()
    118             [Category of modules over Rational Field]
     118            [Category of modules with basis over Rational Field]
    119119        """
    120120        R = self.base_field()
    121         from sage.categories.modules import Modules
    122         return [Modules(R, dispatch = False)]
     121        from sage.categories.modules_with_basis import ModulesWithBasis
     122        return [ModulesWithBasis(R, dispatch = False)]
    123123
    124124    class ParentMethods:
    125125        pass