LinearCombinationType

Usage

LinearCombinationType R:Category

Parameter	Type	Description
R	AdditiveType	The coefficient domain

Description

LinearCombinationType R is the category of types containing linear combinations of their elements with coefficients in R.

Exports

AdditiveType
$*$:	(R, %) $\to$ %	Left-multiplication by a scalar
add!:	(%, R, %) $\to$ %	In-place product and sum
times!:	(R, %) $\to$ %	In-place product by a scalar