IndexedTwoDimensionalArray(R, mnRow, mnCol)

array2.spad line 1126 [edit on github]

• R : Type
• mnRow : Integer
• mnCol : Integer

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.

# : % -> NonNegativeInteger

from Aggregate

= : (%, %) -> Boolean if R has BasicType

from BasicType

any? : (Mapping(Boolean, R), %) -> Boolean

from HomogeneousAggregate(R)

array2 : List(List(R)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

blockConcat : List(List(%)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

blockSplit : (%, List(NonNegativeInteger), List(NonNegativeInteger)) -> List(List(%))

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

blockSplit : (%, PositiveInteger, PositiveInteger) -> List(List(%))

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

coerce : % -> OutputForm if R has CoercibleTo(OutputForm)

from CoercibleTo(OutputForm)

colSlice : % -> Segment(Integer)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

column : (%, Integer) -> IndexedOneDimensionalArray(R, mnRow)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

copy : % -> %

from Aggregate

count : (R, %) -> NonNegativeInteger if R has BasicType

from HomogeneousAggregate(R)

count : (Mapping(Boolean, R), %) -> NonNegativeInteger

from HomogeneousAggregate(R)

elt : (%, Integer, List(Integer)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, Integer, List(Segment(Integer))) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, List(Integer), Integer) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, List(Integer), List(Integer)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, List(Integer), Segment(Integer)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, List(Segment(Integer)), Integer) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, List(Segment(Integer)), List(Segment(Integer))) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, List(Segment(Integer)), Segment(Integer)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, Segment(Integer), List(Integer)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, Segment(Integer), List(Segment(Integer))) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, Segment(Integer), Segment(Integer)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, Integer, Integer) -> R

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

elt : (%, Integer, Integer, R) -> R

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

empty : () -> %

from Aggregate

empty? : % -> Boolean

from Aggregate

eq? : (%, %) -> Boolean

from Aggregate

eval : (%, R, R) -> % if R has Evalable(R) and R has SetCategory

from InnerEvalable(R, R)

eval : (%, Equation(R)) -> % if R has Evalable(R) and R has SetCategory

from Evalable(R)

eval : (%, List(R), List(R)) -> % if R has Evalable(R) and R has SetCategory

from InnerEvalable(R, R)

eval : (%, List(Equation(R))) -> % if R has Evalable(R) and R has SetCategory

from Evalable(R)

every? : (Mapping(Boolean, R), %) -> Boolean

from HomogeneousAggregate(R)

fill! : (%, R) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

hash : % -> SingleInteger if R has Hashable

from Hashable

hashUpdate! : (HashState, %) -> HashState if R has Hashable

from Hashable

horizConcat : (%, %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

horizConcat : List(%) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

horizSplit : (%, List(NonNegativeInteger)) -> List(%)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

horizSplit : (%, PositiveInteger) -> List(%)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

latex : % -> String if R has SetCategory

from SetCategory

less? : (%, NonNegativeInteger) -> Boolean

from Aggregate

listOfLists : % -> List(List(R))

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

map : (Mapping(R, R), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

map : (Mapping(R, R, R), %, %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

map : (Mapping(R, R, R), %, %, R) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

map! : (Mapping(R, R), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

max : % -> R if R has OrderedSet

from HomogeneousAggregate(R)

max : (Mapping(Boolean, R, R), %) -> R

from HomogeneousAggregate(R)

maxColIndex : % -> Integer

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

maxRowIndex : % -> Integer

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

member? : (R, %) -> Boolean if R has BasicType

from HomogeneousAggregate(R)

members : % -> List(R)

from HomogeneousAggregate(R)

min : % -> R if R has OrderedSet

from HomogeneousAggregate(R)

minColIndex : % -> Integer

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

minRowIndex : % -> Integer

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

more? : (%, NonNegativeInteger) -> Boolean

from Aggregate

ncols : % -> NonNegativeInteger

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

new : (NonNegativeInteger, NonNegativeInteger, R) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

nrows : % -> NonNegativeInteger

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

parts : % -> List(R)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

qelt : (%, Integer, Integer) -> R

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

qnew : (NonNegativeInteger, NonNegativeInteger) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

qsetelt! : (%, Integer, Integer, R) -> R

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

row : (%, Integer) -> IndexedOneDimensionalArray(R, mnCol)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

rowSlice : % -> Segment(Integer)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

sample : () -> %

from Aggregate

setColumn! : (%, Integer, IndexedOneDimensionalArray(R, mnRow)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setRow! : (%, Integer, IndexedOneDimensionalArray(R, mnCol)) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, Integer, List(Integer), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, Integer, List(Segment(Integer)), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, List(Integer), Integer, %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, List(Integer), List(Integer), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, List(Integer), Segment(Integer), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, List(Segment(Integer)), Integer, %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, List(Segment(Integer)), List(Segment(Integer)), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, List(Segment(Integer)), Segment(Integer), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, Segment(Integer), List(Integer), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, Segment(Integer), List(Segment(Integer)), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, Segment(Integer), Segment(Integer), %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setelt! : (%, Integer, Integer, R) -> R

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

setsubMatrix! : (%, Integer, Integer, %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

size? : (%, NonNegativeInteger) -> Boolean

from Aggregate

smaller? : (%, %) -> Boolean if R has Comparable

from Comparable

squareTop : % -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

subMatrix : (%, Integer, Integer, Integer, Integer) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

swapColumns! : (%, Integer, Integer) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

swapRows! : (%, Integer, Integer) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

transpose : % -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

vertConcat : (%, %) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

vertConcat : List(%) -> %

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

vertSplit : (%, List(NonNegativeInteger)) -> List(%)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

vertSplit : (%, PositiveInteger) -> List(%)

from TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

~= : (%, %) -> Boolean if R has BasicType

from BasicType

Comparable

shallowlyMutable

Aggregate

BasicType

SetCategory

InnerEvalable(R, R)

CoercibleTo(OutputForm)

finiteAggregate

TwoDimensionalArrayCategory(R, IndexedOneDimensionalArray(R, mnCol), IndexedOneDimensionalArray(R, mnRow))

Evalable(R)

Hashable

HomogeneousAggregate(R)