VasCalc Documentation  vectorSpace
The vectorSpace package is a small part of the VasCalc project, used to set up quotients of finite dimensional vector spaces, with an interface through Mathematica. By default, vectorSpace works over arbitrarilysized rationals, using the BigRational implementation written by Eric Laroche (see VasCalc  Bibliography). See below for instructions on using other fields. The main advantage in using this package is that by being less general, it stands to perform much faster than similar functions in Mathematica.
Installation
If you wish to use this package on its own, follow the directions below.
Create a directory on your file system named vectorSpace, and download the following four files from the repository into it:
Also, download vectorSpace.m (the Mathematica interface) to any location.
Usage
In Mathematica, type
In[1]:=

<</path_to/vectorSpace.m

to load the definitions. We also need to specify where the vectorSpace package lives. Replace "/some_path" with the parent directory of the vectorSpace folder created earlier, retaining the quotes, in the following command:
In[2]:=

SetVectorSpacePath["/some_path"];

We need to start by setting up a finitedim vector space to work with. The command NewVS[n] returns a reference to a Java instance of the class QuotientSpace. This class represents a v.s. of dimension n, along with any relations between the basis vectors (described below). Here we create a vector space of dimension 5:
In[3]:=

qs = NewVectorSpace[5];

In the vector space package, vectors are stored as lists of ordered pairs {index, coeff}, where the index refers to a fixed implicit original basis. For convenience, the Mathematica interface allows one to label the basis elements with Mathematica symbols by passing a Basis[..] object to the operations described below, and hence you can use all of Mathematica's symbolic manipulations on these expressions. Note, however, that this labelling does not change the internal representation of the vectors; if you change the basis you use, it's unlikely you'll get meaningful results, as you may have already defined relations in terms of another basis.
To set up an initial basis, say of elements e0, ... , e4:
In[4]:=

b = Basis[e0,e1,e2,e3,e4];

Here are the operations one can perform:
 To introduce a relation, use
ModBy[v, quotientspace, basis]
, which introduces the relation v=0 (where v is written in terms ofbasis
) in the given vector spacequotientspace
.
 The command
GetDimension[quotientspace]
, returns the dimension of the quotient (that is, taking into account the relations defined).
 The command
ReduceQuotient[v, quotientspace, basis]
returns a vector equivalent to v modulo the relations defined inquotientspace
. Both v and the output are written as linear combinations in terms of the given basis.
 If you need it, the command
ResolveVector[v, basis]
converts a vector as a formal sum into a list of {index, coeff} pairs.
Here are some examples, using the earlier setup:
Let's introduce a relation
In[5]:=

ModBy[3e0 + e3  2e4, qs, b];

Now the quotient space has one less dimension:
In[6]:=

GetDimension[qs]

Out[6]=

4

Reducing a vector in the quotient:
In[7]:=

ReduceQuotient[e0 + (1/3)e1  e4, qs, b] //Simplify

Out[7]=

(1/3)(e1  e3  e4)

Changing the Coefficient Field
By default, vectorSpace works over an implementation of the rationals that allows for arbitrarily large numbers. If you wish to use a different field, you must
 Download the source file Coefficient.java, whose sole purpose is to provide a wrapper to the field. This file contains comments detailing the necessary modifications for a different field; basically one needs to define the arithmetic operations, and return the additive and multiplicative identities in a standard manner.
 If you wish to use vectorSpace in Mathematica, you will also need to edit vectorSpace.m in order to manipulate your expressions properly in Mathematica. In particular, you will have to rewrite
ToJCoeff[c]
to create a instance of the Coefficient class from the Mathematica expression c; also,ToMCoeff[c]
for the other direction.
If you succeed in getting another interesting field to work, feel free to add to this page.