|
|
|
last edited 6 years ago by test1 |
Edit detail for FreeModuleCategory revision 2 of 2
| 1 2 | ||
|
Editor: test1
Time: 2018/04/13 15:54:04 GMT+0 |
||
| Note: | ||
removed:
-Author: Michel Petitot (petitot@lifl.fr)
-
-Modified by: Franz Lehner, June 2009
-
-\begin{axiom}
-)sh FreeModuleCategory
-\end{axiom}
-
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.