Vector Spaces [HB 56]

New features:

• One may now create a vector space with an inner product matrix F (by VectorSpace(K, n, F)), so that the functions Norm and InnerProduct, applied to elements of the space, will be with respect to the inner product matrix F. (The same holds for R-spaces.)