Previous Page Contents

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

Method _mult: returns scalar product

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000