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, %) %
Left-multiplication by a scalar add!: (%, R, %) %
In-place product and sum times!: (R, %) %
In-place product by a scalar