[Top][All Lists]

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

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

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

**Date**: |
Sat, 11 Jun 2005 17:25:37 +0200 |

Hi,
Do you know why there is no the shallowlyMutable attribute in
rectangular and square matrix category (RMATCAT and SMATCAT
respectively) ?
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.
One consequence is that it is not possible to use the functions from
these package with new data representation (see chapter 13.7 "Multiple
Representations" in axiom book).
Cheers,
Greg
PS: there is a lot of these things in axiom library.

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

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