Edit detail for #164 min row and min col in IndexedOneDimensionalArray's IndexedTwoDimensionalArray revision 1 of 1

changed:
-
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 ?

From unknown Tue Jun 7 13:45:33 -0500 2005
From: unknown
Date: Tue, 07 Jun 2005 13:45:33 -0500
Subject: 
Message-ID: <20050607134533-0500@page.axiom-developer.org>

No, this is correct. A one-dimensional row vector has columns, and the number of columns need to be specified as mnCol. Similarly, a one-dimensional column vector has rows, and the number of rows need to be specified as mnRow.

From unknown Tue Jun 7 14:46:28 -0500 2005
From: unknown
Date: Tue, 07 Jun 2005 14:46:28 -0500
Subject: Exact
Message-ID: <20050607144628-0500@page.axiom-developer.org>

mnCol is minimal column index used, for example, in row creation after extraction.



From unknown Tue Jun 7 14:46:50 -0500 2005
From: unknown
Date: Tue, 07 Jun 2005 14:46:50 -0500
Subject: property change
Message-ID: <20050607144650-0500@page.axiom-developer.org>

Status: open => closed 

\section{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)