LinearArithmeticType

Next: coerce Up: Basic Categories Previous: orderquo Contents Index

LinearArithmeticType

$\begin{usage} LinearArithmeticType~R:Category \end{usage}$

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

$\begin{descr} LinearArithmeticType~R is the category of arithmetic types containing linear combinations of their elements with coefficients in R. \end{descr}$

$\begin{remarks} Use \htmlref{\texttt{Algebra}}{Algebra} instead if R is always meant to be a \htmlref{\texttt{Ring}}{Ring}. \end{remarks}$

Exports

ArithmeticType

LinearCombinationType R

coerce: R $\to$ % Natural embedding

Subsections

coerce

Manuel Bronstein 2000-12-13

`ArithmeticType`
`LinearCombinationType` R
`coerce`:	R $\to$ %	Natural embedding