_index(A, i, j)

matdim(A)

new(m, n)

Конечно, этот метод может реализовать дальнейшие возможности создать матрицы (например, см. метод "new" доменного конструктора Dom::Matrix).

set_index(A, i, j, x)

_negate(A)

_plus(A1, A2, …)

Матрицы должны иметь тот же доменный тип, в противном случае FAIL возвращен.

_subtract(A, B)

equal(A, B)

identity(n)

Это только существует, если R имеет категорию Cat::Ring, т.е. звонок с модулем.

iszero(A)

Обратите внимание на то, что может быть больше чем одно представление нулевой матрицы данной размерности, если R не имеет аксиомы Ax::canonicalRep.

transpose(A)

col(A, c)

concatMatrix(A, B)

Сообщение об ошибке выпущено, если эти две матрицы не имеют одинакового числа строк.

delCol(A, c)

Если A только состоит из одного столбца затем, NIL возвращен.

delRow(A, r)

Если A только состоит из одной строки затем, NIL возвращен.

row(A, r)

setCol(A, c, v)

setRow(A, r, v)

stackMatrix(A, B)

Сообщение об ошибке выпущено, если эти две матрицы не имеют одинакового числа столбцов.

swapCol(A, c1, c2)

swapRow(A, r1, r2)