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