Finite dimensional modules with basis¶
-
sage.categories.finite_dimensional_modules_with_basis.
FiniteDimensionalModulesWithBasis
¶ The category of finite dimensional modules with a distinguished basis
EXAMPLES:
sage: C = FiniteDimensionalModulesWithBasis(ZZ); C Category of finite dimensional modules with basis over Integer Ring sage: sorted(C.super_categories(), key=str) [Category of finite dimensional modules over Integer Ring, Category of modules with basis over Integer Ring] sage: C is Modules(ZZ).WithBasis().FiniteDimensional() True