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 _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
