[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] Rectangular and square matrix category definition in A

**From**: |
Vanuxem Grégory |

**Subject**: |
[Axiom-developer] Rectangular and square matrix category definition in Axiom CAS |

**Date**: |
Mon, 13 Jun 2005 16:18:44 +0200 |

Hi,
Do you know why there is not the shallowlyMutable attribute in
rectangular (RMATCAT) and square matrix category in axiom (CAS) ?
Documentation of RMATCAT:
++ \spadtype{RectangularMatrixCategory} is a category of matrices of
++ fixed dimensions. The dimensions of the matrix will be parameters
++ of the domain. Domains in this category will be R-modules and will
++ be non-mutable.
In RectangularMatrixCategoryFunctions2, the map function contains
new(m,n,0)$Matrix(R2) pretend M2 (M2 is approximatively RMATCAT)
In other words, map can't use the 'new' definition in RMATCAT (it is not
defined) nor qsetelt. map has to use a domain's function, here Matrix.
Cheers,
Greg

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] Rectangular and square matrix category definition in Axiom CAS**,
*Vanuxem Grégory* **<=**