[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-math] Linear Combination of things
From: |
William Sit |
Subject: |
Re: [Axiom-math] Linear Combination of things |
Date: |
Fri, 24 Jun 2005 00:04:31 -0400 |
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