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
The following list mentions all components that are requested for a vector space V.
true, because vector spaces are domains.
true, for obvious reasons.
There are as well some optional components for a vector space record.
Previous Up Top Next