Re: [Axiom-math] Linear Combination of things

[William Sit]

Martin Rubey wrote:
> 
> Is there a Domain or Category that supports linear combinations of elements of
> a given domain?
> 
> Martin
> 
The Module(R), where R is a commutative ring, is a category for R-modules. Most
algebraic domains are modules. However, Axiom does not seem to have vector
spaces as a separate category, and modules generated by generators and relations
(except FreeModule), which require quotient category. A related domain is
ModuleOperator(R,M).

William