[Axiom-developer] [#164 min row and min col in IndexedOneDimensionalArray's IndexedTwoDimensionalArray ] (new)

[anonymous]

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