[Axiom-developer] Rectangular and square matrix category definition in Axiom CAS

[Vanuxem Grégory]

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