Vector

Next: dot Up: Linear Algebra Previous: hermite Contents Index

Vector

$\begin{usage} import from Vector~R \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{SumitType}}{SumitType} & The coefficient domain\\ & \htmlref{\texttt{AdditiveType}}{AdditiveType} &\\\end{params}$

$\begin{descr} Vector~R provides vectors of arbitrary size with entries in R. They are 1--indexed and without bound checking. \end{descr}$

Exports

AdditiveType

BoundedFiniteLinearStructureType R

SumitType

zero: MachineInteger $\to$ % zero vector

zero!: % $\to$ () make all the entries zero

zero?: % $\to$ Boolean test if all entries are zero

if R has ArithmeticType then
LinearCombinationType R

dot: (%, %) $\to$ R dot product

tensor: (%, %) $\to$ % tensor product

if R has Ring then
random: () $\to$ % random vector

MachineInteger $\to$ %

Subsections

dot
random
tensor
zero

Manuel Bronstein 2000-12-13

`AdditiveType`
`BoundedFiniteLinearStructureType` R
`SumitType`
`zero`:	`MachineInteger` $\to$ %	zero vector
`zero!`:	% $\to$ ()	make all the entries zero
`zero?`:	% $\to$ `Boolean`	test if all entries are zero

`LinearCombinationType` R
`dot`:	(%, %) $\to$ R	dot product
`tensor`:	(%, %) $\to$ %	tensor product