login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for FreeModuleCategory revision 2 of 2

1 2
Editor: test1
Time: 2018/04/13 15:54:04 GMT+0

-Author: Michel Petitot (petitot@lifl.fr)
-Modified by: Franz Lehner, June 2009
-)sh FreeModuleCategory

A domain of this category implements formal linear combinations of elements from a domain S with coefficients in a domain R. The coefficient ring may be non-commutative.

See the XDistributedPolynomial constructor for examples of domains built with the FreeModuleCategory category constructor.