zero-square-matrix - Factor Documentation (original) (raw)
zero-square-matrix
Matrix operations
Prev: | zero-matrix |
---|---|
Next: | null-matrix |
Class description
The class of square zero matrices. This predicate is a composition of zero-matrix and square-matrix.
See also
matrix, irregular-matrix, square-matrix, zero-matrix, null-matrix, null-matrix
Definition
USING: combinators.short-circuit ;
PREDICATE: zero-square-matrix < square-matrix
{ [ zero-matrix? ] [ square-matrix? ] } 1&& ;
Methods
USING: kernel math.matrices math.matrices.extras ;