Documentation Center

  • Trial Software
  • Product Updates

Cat::VectorSpace

Category of vector spaces

Use only in the MuPAD Notebook Interface.

This functionality does not run in MATLAB.

Syntax

Cat::VectorSpace(F)

Description

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

A vector space is an Abelian group with an operation + (_plus).

The scalar product has to be implemented via the method "_mult". Other kinds of multiplication are not defined.

Categories

Cat::Module(F)

Parameters

F

A domain which must be from the category Cat::Field.

Methods

expand all

Basic Methods

_mult — Return scalar product

_mult(c, x)

_mult(x, c)

Must return the scalar product of x and c.

Was this topic helpful?