FiniteDimensionalModulesWithBasis

class sage.categories.finite_dimensional_modules_with_basis.FiniteDimensionalModulesWithBasis(base, name=None)

Bases: sage.categories.category_types.Category_over_base_ring

The category of finite dimensional modules with a distinguished basis

EXAMPLES:

sage: FiniteDimensionalModulesWithBasis(QQ)
Category of finite dimensional modules with basis over Rational Field
sage: FiniteDimensionalModulesWithBasis(QQ).super_categories()
[Category of modules with basis over Rational Field]

TESTS:

sage: TestSuite(FiniteDimensionalModulesWithBasis(ZZ)).run()

class ElementMethods

class FiniteDimensionalModulesWithBasis.ParentMethods

FiniteDimensionalModulesWithBasis.super_categories(*args, **kwds)

EXAMPLES:

sage: FiniteDimensionalModulesWithBasis(QQ).super_categories()
[Category of modules with basis over Rational Field]