[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Vanuxem Grégory
Subject: [Axiom-developer] Rectangular and square matrix category definition in Axiom CAS
Date: Mon, 13 Jun 2005 16:18:44 +0200

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.



reply via email to

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