Finite dimensional bialgebras with basis¶
- sage.categories.finite_dimensional_bialgebras_with_basis.FiniteDimensionalBialgebrasWithBasis(base_ring)[source]¶
- The category of finite dimensional bialgebras with a distinguished basis. - EXAMPLES: - sage: C = FiniteDimensionalBialgebrasWithBasis(QQ); C Category of finite dimensional bialgebras with basis over Rational Field sage: sorted(C.super_categories(), key=str) [Category of bialgebras with basis over Rational Field, Category of finite dimensional algebras with basis over Rational Field] sage: C is Bialgebras(QQ).WithBasis().FiniteDimensional() True - >>> from sage.all import * >>> C = FiniteDimensionalBialgebrasWithBasis(QQ); C Category of finite dimensional bialgebras with basis over Rational Field >>> sorted(C.super_categories(), key=str) [Category of bialgebras with basis over Rational Field, Category of finite dimensional algebras with basis over Rational Field] >>> C is Bialgebras(QQ).WithBasis().FiniteDimensional() True