login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:00:40-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

In array2.spad

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

In IndexedOneDimensionalArray?(*)
Col => min index of row (mnRow)
Row => min index of column (mnCol)
Is it a bug ?

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.

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

property change --unknown, Tue, 07 Jun 2005 14:46:50 -0500 reply
Status: open => closed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: