JLWSMatrix E

jwsagg.spad line 341 [edit on github]

JL Wolfram Symbolic matrices using Wolfram Symbolic Transport Protocol.

#: % -> JLWSInteger

from JLWSAggregate JLWSVector E

#: % -> NonNegativeInteger

from Aggregate

*: (%, %) -> %

a * b is the matrix multiplication, not the element-wise multiplication. WS error if dimensions are incompatible.

*: (%, E) -> %

x * r is the right scalar multiple of the scalar r and the matrix x.

*: (%, JLWSVector E) -> %

x * c is the product of the matrix x and the column vector c. Error: if the dimensions are incompatible.

*: (%, JLWSVector E) -> JLWSVector E

from MatrixCategory(E, JLWSVector E, JLWSVector E)

*: (E, %) -> %

r*x is the left scalar multiple of the scalar r and the matrix x.

*: (Integer, %) -> %

n*a scale the matrix a by n.

*: (JLWSVector E, %) -> %

r * x is the product of the row vector r and the matrix x. Error: if the dimensions are incompatible.

*: (JLWSVector E, %) -> JLWSVector E

from MatrixCategory(E, JLWSVector E, JLWSVector E)

+: (%, %) -> %

a + b is the matrix addition. WS error if dimensions are incompatible.

-: % -> %

-a negates each elements of the matrix a.

-: (%, %) -> %

a - b is the matrix substraction. WS error if dimensions are incompatible.

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

from MatrixCategory(E, JLWSVector E, JLWSVector E)

=: (%, %) -> Boolean

from BasicType

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

from MatrixCategory(E, JLWSVector E, JLWSVector E)

^: (%, NonNegativeInteger) -> %

a^n is the matrix power by the non negative integer n.

^: (%, PositiveInteger) -> %

a^n is the matrix power by the positive integer n.

~=: (%, %) -> Boolean

from BasicType

accumulate: % -> % if JLWSVector E has JLWSNumber

from JLWSAggregate JLWSVector E

adjoint: % -> %

adjoint(m) returns the adjoint of m, i.e. the conjugate transposition of m.

adjugate: % -> %

adjugate(m) returns the adjugate of square m.

antisymmetric?: % -> Boolean

antisymmetric?(m) returns true if the matrix m is square and antisymmetric (i.e. m[i, j] = -m[j, i] for all i and j) and false otherwise.

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

from HomogeneousAggregate E

append: (%, JLWSVector E) -> %

from JLWSAggregate JLWSVector E

array2: List List E -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

blockConcat: List List % -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

cholesky: % -> Record(l: %, u: %)

cholesky(m) computes the Cholesky decomposition of the square matrix m.

coerce: % -> JLObject

from JLObjectType

coerce: % -> JLWSExpression

from JLWSAggregate JLWSVector E

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: JLWSVector E -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

coerce: List JLWSVector E -> %

from JLWSAggregate JLWSVector E

colSlice: % -> Segment Integer

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

column: (%, Integer) -> %

column(mat,i) returns the i-th column.

column: (%, Integer) -> JLWSVector E

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

columnSpace: % -> List JLWSVector E if E has EuclideanDomain

from MatrixCategory(E, JLWSVector E, JLWSVector E)

convert: % -> String

from ConvertibleTo String

copy: % -> %

from Aggregate

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

from HomogeneousAggregate E

count: (E, %) -> NonNegativeInteger

from HomogeneousAggregate E

delete: (%, JLWSList JLWSInteger) -> %

from JLWSAggregate JLWSVector E

determinant: % -> E if E has CommutativeRing

from MatrixCategory(E, JLWSVector E, JLWSVector E)

diagonal?: % -> Boolean

diagonal?(m) returns true if the matrix m is square and diagonal (i.e. all entries of m not on the diagonal are zero) and false otherwise.

diagonal: % -> JLWSVector E

diagonal(m) returns the diagonal elements of m as a vector.

diagonalMatrix: JLWSList E -> %

diagonalMatrix(l) returns a diagonal matrix with elements of l as diagonal elements.

diagonalMatrix: List % -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

diagonalMatrix: List E -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

differences: % -> % if JLWSVector E has JLWSNumber

from JLWSAggregate JLWSVector E

dimensions: % -> JLWSList JLWSInteger

from JLWSAggregate JLWSVector E

eigenSystem: % -> Record(values: JLWSVector JLWSExpression, vectors: JLWSMatrix JLWSExpression)

eigenSystem(m) computes the spectral decomposition of the square matrix m. It returns in a Record, the eigenvalues, selector ‘values’, and the eigenvectors selector ‘vectors’.

eigenvalues: % -> JLWSVector JLWSExpression

eigenvalues(m) returns the eigenvalues of the square matrix m.

eigenvectors: % -> JLWSMatrix JLWSExpression

eigenvectors(m) returns the eigenvectors of the square matrix m.

elt: (%, Integer) -> JLWSVector E

from JLWSAggregate JLWSVector E

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

elt(mat, m, n) returns the element (m,n) of the matrix mat.

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

empty?: % -> Boolean

from Aggregate

empty: () -> %

from Aggregate

eq?: (%, %) -> Boolean

from Aggregate

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

from InnerEvalable(E, E)

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

from Evalable E

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

from InnerEvalable(E, E)

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

from Evalable E

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

from HomogeneousAggregate E

exquo: (%, E) -> Union(%, failed) if E has IntegralDomain

from MatrixCategory(E, JLWSVector E, JLWSVector E)

extract: (%, JLWSExpression) -> %

from JLWSAggregate JLWSVector E

fill!: (%, E) -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

first: % -> JLWSVector E

from JLWSAggregate JLWSVector E

generalizedInverse: % -> %

generalizedInverse(m) computes the pseudo inverse of m also knows as Moore-Penrose inverse.

hash: % -> SingleInteger if E has Hashable

from Hashable

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

from Hashable

hermitian?: % -> Boolean

hermitian?(m) checks whether or not m is hermitian.

hessenberg: % -> Record(p: %, h: %)

hessenberg(m) computes the Hessenberg decomposition of the square matrix m.

horizConcat: (%, %) -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

horizConcat: List % -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

horizSplit: (%, PositiveInteger) -> List %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

insert: (%, JLWSVector E, JLWSInteger) -> %

from JLWSAggregate JLWSVector E

intersection: (%, %) -> %

from JLWSAggregate JLWSVector E

inverse: % -> %

inverse(m) computes the inverse of m. For example: example{m:=jWSMatrix(”{{a, b}, {b, a}}”)@JWSMAT(JWSEXPR)} example{inverse m}

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

from MatrixCategory(E, JLWSVector E, JLWSVector E)

invertIfCan: % -> Union(%, failed) if E has IntegralDomain

invertIfCan(m) returns the inverse of the matrix m. If the matrix is not invertible, “failed” is returned. Error: if the matrix is not square.

jlAbout: % -> Void

from JLObjectType

jlApply: (String, %) -> %

from JLObjectType

jlApply: (String, %, %) -> %

from JLObjectType

jlApply: (String, %, %, %) -> %

from JLObjectType

jlApply: (String, %, %, %, %) -> %

from JLObjectType

jlApply: (String, %, %, %, %, %) -> %

from JLObjectType

jlDisplay: % -> Void

from JLObjectType

jlEval: % -> %

from JLWSObject

jlHead: % -> JLWSSymbol

from JLWSObject

jlId: % -> JLInt64

from JLObjectType

jlNumeric: % -> %

from JLWSObject

jlNumeric: (%, PositiveInteger) -> %

from JLWSObject

jlObject: () -> String

from JLObjectType

jlRef: % -> SExpression

from JLObjectType

jlref: String -> %

from JLObjectType

jlSymbolic: % -> String

from JLWSObject

jlType: % -> String

from JLObjectType

join: (%, %) -> %

from JLWSAggregate JLWSVector E

jordan: % -> Record(s: %, j: %)

jordan(m) computes the Jordan decomposition of of the square matrix m.

jWSAggregate: List JLWSVector E -> %

from JLWSAggregate JLWSVector E

jWSInterpret: (String, String) -> %

from JLWSObject

jWSMatrix: String -> %

jWSMatrix(str) constructs str as a JLWSMatrix. str must be in the WS language (WS list of WS list(s)).

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

from MatrixCategory(E, JLWSVector E, JLWSVector E)

kroneckerProduct: (%, %) -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

kroneckerProduct: List % -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

kroneckerSum: (%, %) -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

kroneckerSum: List % -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

last: % -> JLWSVector E

from JLWSAggregate JLWSVector E

latex: % -> String

from SetCategory

length: % -> JLWSInteger

from JLWSAggregate JLWSVector E

less?: (%, NonNegativeInteger) -> Boolean

from Aggregate

linearSolve: (%, %) -> %

linearSolve(mat, b) finds x, solution of the equation mat * x = b.

listOfLists: % -> List List E

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

lu: % -> Record(lu: %, p: %, c: %)

lu(m) computes the lU decomposition of the matrix m.

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from MatrixCategory(E, JLWSVector E, JLWSVector E)

matrix: JLWSVector E -> %

matrix(vec) returns vec as a matrix (inplace coercion).

matrix: List List E -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

matrixFunction: (JLWSExpression, %) -> JLWSMatrix JLWSExpression

matrixFunction(func, m) applies the matrix function func, if available, to the matrix m. Note that it is not an element-wise operation. For example: example{m := jWSMatrix(”{{1.2, 1.7},{1.12, -2.1}}”)@JWSMAT(JWSREAL)} example{matrixFunction(“Sqrt”, m)}

max: % -> E if E has OrderedSet

from HomogeneousAggregate E

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

from HomogeneousAggregate E

maxColIndex: % -> Integer

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

maxRowIndex: % -> Integer

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

member?: (E, %) -> Boolean

from HomogeneousAggregate E

members: % -> List E

from HomogeneousAggregate E

min: % -> E if E has OrderedSet

from HomogeneousAggregate E

minColIndex: % -> Integer

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

minordet: % -> E if E has CommutativeRing

from MatrixCategory(E, JLWSVector E, JLWSVector E)

minors: % -> %

minors(m) returns the minors of m.

minors: (%, JLWSInteger) -> %

minors(m,i) returns the i-th minors of m.

minRowIndex: % -> Integer

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

more?: (%, NonNegativeInteger) -> Boolean

from Aggregate

mutable?: % -> Boolean

from JLObjectType

ncols: % -> NonNegativeInteger

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

norm: % -> E

norm(m) returns the norm of m, i.e. the value of the maximum singular values of m.

norm: (%, JLWSExpression) -> E

norm(m, type) returns the type norm of m. For example, norm(m,2) returns the usual norm, norm(m, “Infinity”) or norm(m, “Frobenius”) returns their respective norms. See documentation for information.

nothing?: % -> Boolean

from JLObjectType

nrows: % -> NonNegativeInteger

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

nullity: % -> NonNegativeInteger if E has IntegralDomain

from MatrixCategory(E, JLWSVector E, JLWSVector E)

nullSpace: % -> JLWSList JLWSVector E

nullSpace(m) returns the list of vector

nullSpace: % -> List JLWSVector E if E has IntegralDomain

from MatrixCategory(E, JLWSVector E, JLWSVector E)

part: (%, JLWSInteger) -> JLWSVector E

from JLWSAggregate JLWSVector E

parts: % -> List E

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

permanent: % -> E

permanent(m) returns the permanent of m.

Pfaffian: % -> E if E has CommutativeRing

from MatrixCategory(E, JLWSVector E, JLWSVector E)

positiveDefinite?: % -> Boolean

positiveDefinite?(m) checks whether or not m is positive definite.

positivePower: (%, Integer) -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

prepend: (%, JLWSVector E) -> %

from JLWSAggregate JLWSVector E

qelt: (%, Integer) -> JLWSVector E

from JLWSAggregate JLWSVector E

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

qelt(mat, m, n) returns the element (m,n) of the matrix mat. No checks are done at the FriCAS level.

qnew: (NonNegativeInteger, NonNegativeInteger) -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

qr: % -> Record(q: %, r: %)

qr(m) computes the QR decomposition of the matrix m.

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

qsetelt!(mat,n,m,elt) returns matrix mat with element (n,m) replaced by the element elt.

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

from JLWSAggregate JLWSVector E

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

qsetelt(mat,n,m,elt) returns a new matrix with element (n,m) replaced by the element elt.

qsetelt: (%, Integer, JLWSVector E) -> %

from JLWSAggregate JLWSVector E

randomComplexMatrix: (JLWSList JLWSComplex, JLWSList JLWSInteger) -> JLWSMatrix JLWSComplex

randomComplexMatrix(range, dims) returns a random matrix with random complex numbers in the range range and dims dimensions. example{range:=jWSList(”{1+I}”)@JWSLIST(JWSCPLX)} example{randomComplexMatrix(range,jWSList(”{3,3}”)$JWSLIST(JWSINT))@JWSMAT(JWSCPLX)}

randomRealMatrix: (JLWSList JLWSReal, JLWSList JLWSInteger) -> JLWSMatrix JLWSReal

randomRealMatrix(range, dims) returns a random matrix with random numbers in the range range and dims dimensions. example{range := jWSList(”{-5,5}”)$JWSLIST(JWSREAL)} example{randomRealMatrix(range,jWSList(”{3,3}”)$JWSLIST(JWSINT))@JWSMAT(JWSREAL)}

rank: % -> NonNegativeInteger if E has IntegralDomain

from MatrixCategory(E, JLWSVector E, JLWSVector E)

removeDuplicates: % -> %

from JLWSAggregate JLWSVector E

replacePart: (%, %) -> %

from JLWSAggregate JLWSVector E

rest: % -> %

from JLWSAggregate JLWSVector E

reverse: % -> %

from JLWSAggregate JLWSVector E

reverse: (%, JLWSInteger) -> %

from JLWSAggregate JLWSVector E

reverse: (%, JLWSList JLWSInteger) -> %

from JLWSAggregate JLWSVector E

riffle: (%, %) -> %

from JLWSAggregate JLWSVector E

riffle: (%, %, %) -> %

from JLWSAggregate JLWSVector E

row: (%, Integer) -> %

row(mat,i) returns the i-th row.

row: (%, Integer) -> JLWSVector E

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

rowEchelon: % -> % if E has EuclideanDomain

from MatrixCategory(E, JLWSVector E, JLWSVector E)

rowSlice: % -> Segment Integer

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

sample: %

from Aggregate

scalarMatrix: (NonNegativeInteger, E) -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

schur: % -> Record(q: %, t: %)

schurm) computes the Schur decomposition of of the square matrix m.

setColumn!: (%, Integer, JLWSVector E) -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from JLWSAggregate JLWSVector E

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

setelt(mat,n,m,elt) returns a new matrix with element (n,m) replaced by the element elt.

setelt: (%, Integer, JLWSVector E) -> %

from JLWSAggregate JLWSVector E

setIntersection: (%, %) -> %

from JLWSAggregate JLWSVector E

setRow!: (%, Integer, JLWSVector E) -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

size?: (%, NonNegativeInteger) -> Boolean

from Aggregate

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

from Comparable

sort: % -> %

from JLWSAggregate JLWSVector E

sorted?: % -> Boolean

from JLWSAggregate JLWSVector E

square?: % -> Boolean

square?(m) returns true if m is a square matrix (i.e. if m has the same number of rows as columns) and false otherwise.

squareTop: % -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

string: % -> String

from JLObjectType

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

svd: % -> Record(S: %, sv: %, V: %)

svd(m) computes the singular value decomposition of the matrix m.

svdvals: % -> JLWSList E

svdvals(m) returns the singular values of the matrix m.

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

symmetric?: % -> Boolean

symmetric?(m) returns true if the matrix m is square and symmetric (i.e. m[i, j] = m[j, i] for all i and j) and false otherwise.

take: (%, Integer) -> %

from JLWSAggregate JLWSVector E

take: (%, JLWSList JLWSInteger) -> %

from JLWSAggregate JLWSVector E

toString: % -> String

from JLWSObject

toString: (%, JLWSExpression) -> String

toString(mat, form) returns the string representation of mat with WS language format form.

total: % -> JLWSVector E if JLWSVector E has JLWSNumber

from JLWSAggregate JLWSVector E

trace: % -> E

trace(m) returns the trace of m.

transpose: % -> %

transpose(m) returns the tranposition of m.

transpose: JLWSVector E -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

union: (%, %) -> %

from JLWSAggregate JLWSVector E

vertConcat: (%, %) -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

vertConcat: List % -> %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

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

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

vertSplit: (%, PositiveInteger) -> List %

from TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)

zero?: % -> Boolean

from MatrixCategory(E, JLWSVector E, JLWSVector E)

zero: (NonNegativeInteger, NonNegativeInteger) -> %

from MatrixCategory(E, JLWSVector E, JLWSVector E)

Aggregate

BasicType

CoercibleTo OutputForm

Comparable if E has Comparable

ConvertibleTo String

Evalable E if E has Evalable E

finiteAggregate

Hashable if E has Hashable

HomogeneousAggregate E

InnerEvalable(E, E) if E has Evalable E

JLObjectType

JLType

JLWSAggregate JLWSVector E

JLWSObject

MatrixCategory(E, JLWSVector E, JLWSVector E)

SetCategory

shallowlyMutable

TwoDimensionalArrayCategory(E, JLWSVector E, JLWSVector E)