VectorSpace -- the class of all vector spaces

Description

This type represents e.g., homology of Lie algebras, and it has the subtypes LieSubSpace, LieSubAlgebra, LieIdeal, FGLieIdeal, FGLieSubAlgebra.

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : I=lieIdeal{a}

o2 = I

o2 : FGLieIdeal

i3 : showStructure class I

o3 = Thing : HashTable : VectorSpace : LieSubSpace : LieSubAlgebra : LieIdeal : FGLieIdeal

o3 : Descent

i4 : H=lieHomology L

o4 = H

o4 : VectorSpace

basis(List,VectorSpace) -- compute a basis
basis(ZZ,VectorSpace) -- compute a basis
basis(ZZ,ZZ,VectorSpace) -- compute a basis
describe(VectorSpace) -- see describe(LieAlgebra) -- real description
dim(List,VectorSpace) -- compute the dimension
dim(ZZ,VectorSpace) -- compute the dimension
dim(ZZ,ZZ,VectorSpace) -- compute the dimension
dims(ZZ,VectorSpace) -- see dims -- compute the dimensions of a Lie algebra, Ext-algebra or vector space
dims(ZZ,ZZ,VectorSpace) -- see dims -- compute the dimensions of a Lie algebra, Ext-algebra or vector space

The object VectorSpace is a type, with ancestor classes HashTable < Thing.