A vector space is represented as a GAP record having several entries to hold some necessary information about the vector space.
Basically a vector space record is constructed using the function
VectorSpace
although one may create such a record by hand. Furthermore
vector space records may be returned by functions described here or
somewhere else in this manual.
Once a vector space record is created you are free to add components, but
you should never alter existing entries, especially generators
, field
and zero
.
The following list mentions all components that are requested for a vector space V.
generators
:
field
:
zero
:
isDomain
:true
, because vector spaces are domains.
isVectorSpace
:true
, for obvious reasons.
There are as well some optional components for a vector space record.
base
:
dimension
:GAP 3.4.4