[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


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).



PS: there is a lot of these things in axiom library.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]