[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#164 min row and min col in IndexedOneDimensionalArra
From: |
anonymous |
Subject: |
[Axiom-developer] [#164 min row and min col in IndexedOneDimensionalArray's IndexedTwoDimensionalArray ] (new) |
Date: |
Tue, 07 Jun 2005 05:08:07 -0500 |
Changes
http://page.axiom-developer.org/zope/mathaction/164MinRowAndMinColInIndexedOneDimensionalArraysIndexedTwoDimensionalArray/diff
--
In array2.spad
<pre>
\section{domain IARRAY2 IndexedTwoDimensionalArray}
<<domain IARRAY2 IndexedTwoDimensionalArray>>=
)abbrev domain IARRAY2 IndexedTwoDimensionalArray
IndexedTwoDimensionalArray(R,mnRow,mnCol):Exports == Implementation where
++ An IndexedTwoDimensionalArray is a 2-dimensional array where
++ the minimal row and column indices are parameters of the type.
++ Rows and columns are returned as IndexedOneDimensionalArray's with
++ minimal indices matching those of the IndexedTwoDimensionalArray.
++ The index of the 'first' row may be obtained by calling the
++ function 'minRowIndex'. The index of the 'first' column may
++ be obtained by calling the function 'minColIndex'. The index of
++ the first element of a 'Row' is the same as the index of the
++ first column in an array and vice versa.
R : Type
mnRow, mnCol : Integer
Row ==> IndexedOneDimensionalArray(R,mnCol)
Col ==> IndexedOneDimensionalArray(R,mnRow)
^^^^^^
Exports ==> TwoDimensionalArrayCategory(R,Row,Col)
Implementation ==>
InnerIndexedTwoDimensionalArray(R,mnRow,mnCol,Row,Col)
</pre>
In IndexedOneDimensionalArray(*)
</br>
Col => min index of row (mnRow)
</br>
Row => min index of column (mnCol)
</br>
Is it a bug ?
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#164 min row and min col in IndexedOneDimensionalArray's IndexedTwoDimensionalArray ] (new),
anonymous <=