I8Matrix

u32vec.spad line 329 [edit on github]

This is a low-level domain which implements matrices (two dimensional arrays) of 8-bit signed integers. Indexing is 0 based, there is no bound checking (unless provided by lower level).

#: % -> NonNegativeInteger

from Aggregate

*: (%, %) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

*: (%, I8Vector) -> I8Vector

from MatrixCategory(Integer, I8Vector, I8Vector)

*: (%, Integer) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

*: (I8Vector, %) -> I8Vector

from MatrixCategory(Integer, I8Vector, I8Vector)

*: (Integer, %) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

+: (%, %) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

-: % -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

-: (%, %) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

/: (%, Integer) -> % if Integer has Field

from MatrixCategory(Integer, I8Vector, I8Vector)

=: (%, %) -> Boolean

from BasicType

^: (%, Integer) -> % if Integer has Field

from MatrixCategory(Integer, I8Vector, I8Vector)

^: (%, NonNegativeInteger) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

~=: (%, %) -> Boolean

from BasicType

antisymmetric?: % -> Boolean

from MatrixCategory(Integer, I8Vector, I8Vector)

any?: (Integer -> Boolean, %) -> Boolean

from HomogeneousAggregate Integer

array2: List List Integer -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

blockConcat: List List % -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: I8Vector -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

colSlice: % -> Segment Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

column: (%, Integer) -> I8Vector

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

columnSpace: % -> List I8Vector

from MatrixCategory(Integer, I8Vector, I8Vector)

copy: % -> %

from Aggregate

count: (Integer -> Boolean, %) -> NonNegativeInteger

from HomogeneousAggregate Integer

count: (Integer, %) -> NonNegativeInteger

from HomogeneousAggregate Integer

determinant: % -> Integer

from MatrixCategory(Integer, I8Vector, I8Vector)

diagonal?: % -> Boolean

from MatrixCategory(Integer, I8Vector, I8Vector)

diagonalMatrix: List % -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

diagonalMatrix: List Integer -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

empty?: % -> Boolean

from Aggregate

empty: () -> %

from Aggregate

eq?: (%, %) -> Boolean

from Aggregate

eval: (%, Equation Integer) -> % if Integer has Evalable Integer

from Evalable Integer

eval: (%, Integer, Integer) -> % if Integer has Evalable Integer

from InnerEvalable(Integer, Integer)

eval: (%, List Equation Integer) -> % if Integer has Evalable Integer

from Evalable Integer

eval: (%, List Integer, List Integer) -> % if Integer has Evalable Integer

from InnerEvalable(Integer, Integer)

every?: (Integer -> Boolean, %) -> Boolean

from HomogeneousAggregate Integer

exquo: (%, Integer) -> Union(%, failed)

from MatrixCategory(Integer, I8Vector, I8Vector)

fill!: (%, Integer) -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

hash: % -> SingleInteger

from Hashable

hashUpdate!: (HashState, %) -> HashState

from Hashable

horizConcat: (%, %) -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

horizConcat: List % -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

horizSplit: (%, PositiveInteger) -> List %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

inverse: % -> Union(%, failed) if Integer has Field

from MatrixCategory(Integer, I8Vector, I8Vector)

kronecker_prod1: (%, Integer, List List NonNegativeInteger, List %, NonNegativeInteger, NonNegativeInteger, Union(Integer, one)) -> Void

from MatrixCategory(Integer, I8Vector, I8Vector)

kroneckerProduct: (%, %) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

kroneckerProduct: List % -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

kroneckerSum: (%, %) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

kroneckerSum: List % -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

latex: % -> String

from SetCategory

less?: (%, NonNegativeInteger) -> Boolean

from Aggregate

listOfLists: % -> List List Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

matrix: (NonNegativeInteger, NonNegativeInteger, (Integer, Integer) -> Integer) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

matrix: List List Integer -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

max: % -> Integer

from HomogeneousAggregate Integer

max: ((Integer, Integer) -> Boolean, %) -> Integer

from HomogeneousAggregate Integer

maxColIndex: % -> Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

maxRowIndex: % -> Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

member?: (Integer, %) -> Boolean

from HomogeneousAggregate Integer

members: % -> List Integer

from HomogeneousAggregate Integer

min: % -> Integer

from HomogeneousAggregate Integer

minColIndex: % -> Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

minordet: % -> Integer

from MatrixCategory(Integer, I8Vector, I8Vector)

minRowIndex: % -> Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

more?: (%, NonNegativeInteger) -> Boolean

from Aggregate

ncols: % -> NonNegativeInteger

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

nrows: % -> NonNegativeInteger

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

nullity: % -> NonNegativeInteger

from MatrixCategory(Integer, I8Vector, I8Vector)

nullSpace: % -> List I8Vector

from MatrixCategory(Integer, I8Vector, I8Vector)

parts: % -> List Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

Pfaffian: % -> Integer

from MatrixCategory(Integer, I8Vector, I8Vector)

positivePower: (%, Integer) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

qnew: (NonNegativeInteger, NonNegativeInteger) -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

rank: % -> NonNegativeInteger

from MatrixCategory(Integer, I8Vector, I8Vector)

row: (%, Integer) -> I8Vector

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

rowEchelon: % -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

rowSlice: % -> Segment Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

sample: %

from Aggregate

scalarMatrix: (NonNegativeInteger, Integer) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

setColumn!: (%, Integer, I8Vector) -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

setRow!: (%, Integer, I8Vector) -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

size?: (%, NonNegativeInteger) -> Boolean

from Aggregate

smaller?: (%, %) -> Boolean

from Comparable

square?: % -> Boolean

from MatrixCategory(Integer, I8Vector, I8Vector)

squareTop: % -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

symmetric?: % -> Boolean

from MatrixCategory(Integer, I8Vector, I8Vector)

transpose: % -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

transpose: I8Vector -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

vertConcat: (%, %) -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

vertConcat: List % -> %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

vertSplit: (%, PositiveInteger) -> List %

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

zero?: % -> Boolean

from MatrixCategory(Integer, I8Vector, I8Vector)

zero: (NonNegativeInteger, NonNegativeInteger) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

Aggregate

BasicType

CoercibleTo OutputForm

Comparable

Evalable Integer if Integer has Evalable Integer

finiteAggregate

Hashable

HomogeneousAggregate Integer

InnerEvalable(Integer, Integer) if Integer has Evalable Integer

MatrixCategory(Integer, I8Vector, I8Vector)

SetCategory

shallowlyMutable

TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)