9.4 Set Functions for Vector Spaces

As mentioned before, vector spaces are domains. So all functions that exist for domains may also be applied to vector spaces. This and the following chapters give further information on the implementation of these functions for vector spaces, as far as they differ in their implementation from the general functions.

Elements( V )

The elements of a vector space V are computed by producing all linear combinations of the generators of V.

Size( V )

The size of a vector space V is determined by calculating the dimension of V and looking at the field over which it is written.

IsFinite( V )

A vector space in GAP is finite if it contains only its zero element or if the field over which it is written is finite. This characterisation is true here, as in GAP all vector spaces have a finite dimension.

Intersection( V, W )

The intersection of vector spaces is computed by finding a base for the intersection of the sets of their elements. One may consider the algorithm for finding a base of a vector space V as another way to write Intersection( V, V ).

Previous Up Top Next
Index

GAP 3.4.4
April 1997