Function SIZE

• Defined in theory: Basic-matrix-algebra
• Source code: basic-matrix.lisp

Slots on this function:

Documentation:

Size is the number of row or column of a square matrix

Arity: 2

Domain: Square-matrix

Axioms:

(<=> (Size ?M ?N) (And (Square-Matrix ?M) (= ?N (Row-Dimension ?M))))