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)

* : (%, Integer) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

* : (Integer, %) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

* : (%, I8Vector) -> I8Vector

from MatrixCategory(Integer, I8Vector, I8Vector)

* : (I8Vector, %) -> I8Vector

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

Pfaffian : % -> Integer

from MatrixCategory(Integer, I8Vector, I8Vector)

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

from MatrixCategory(Integer, I8Vector, I8Vector)

^ : (%, NonNegativeInteger) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

antisymmetric? : % -> Boolean

from MatrixCategory(Integer, I8Vector, I8Vector)

any? : (Mapping(Boolean, Integer), %) -> 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 : I8Vector -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

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, %) -> NonNegativeInteger

from HomogeneousAggregate(Integer)

count : (Mapping(Boolean, 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, 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)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

empty : () -> %

from Aggregate

empty? : % -> Boolean

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? : (Mapping(Boolean, Integer), %) -> 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)

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)

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

from MatrixCategory(Integer, I8Vector, I8Vector)

latex : % -> String

from SetCategory

less? : (%, NonNegativeInteger) -> Boolean

from Aggregate

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

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

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

matrix : List(List(Integer)) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

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

from MatrixCategory(Integer, I8Vector, I8Vector)

max : % -> Integer

from HomogeneousAggregate(Integer)

max : (Mapping(Boolean, Integer, Integer), %) -> 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)

minRowIndex : % -> Integer

from TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

minordet : % -> Integer

from MatrixCategory(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)

nullSpace : % -> List(I8Vector)

from MatrixCategory(Integer, I8Vector, I8Vector)

nullity : % -> NonNegativeInteger

from MatrixCategory(Integer, I8Vector, I8Vector)

parts : % -> List(Integer)

from TwoDimensionalArrayCategory(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)

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

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)

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

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 : (NonNegativeInteger, NonNegativeInteger) -> %

from MatrixCategory(Integer, I8Vector, I8Vector)

zero? : % -> Boolean

from MatrixCategory(Integer, I8Vector, I8Vector)

~= : (%, %) -> Boolean

from BasicType

Evalable(Integer)

Comparable

HomogeneousAggregate(Integer)

shallowlyMutable

Aggregate

BasicType

SetCategory

CoercibleTo(OutputForm)

InnerEvalable(Integer, Integer)

MatrixCategory(Integer, I8Vector, I8Vector)

TwoDimensionalArrayCategory(Integer, I8Vector, I8Vector)

Hashable

finiteAggregate