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
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
