[Axiom-developer] Rectangular and square matrix category definition

[Vanuxem Grégory]

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.