## `Cat::VectorSpace` -- the category of vector spaces

#### Introduction

``Cat::VectorSpace`(F)` represents the category of vector spaces over the field `F`.

#### Generating the category

`Cat::VectorSpace(F)`

#### Parameters

`F` | - | A domain which must be from the category `Cat::Field`.

#### Categories

`Cat::Module(F)`

#### Details

- A ``Cat::VectorSpace`(F)` represents the category of vector spaces over the field `F`. A vector space is a abelian group with an operation `+` (`_plus`).
- The scalar product has to be implemented via the method `"_mult"`. Other kinds of multiplication are not defined.

#### Method _mult: returns scalar product

- `_mult(F c, dom x)`
- - Must return the scalar product of `c` and `x`.

- `_mult(dom x, F c)`
- - Must return the scalar product of `x` and `c`.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000