Function TRANSPOSE

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

Slots on this function:

Documentation:

Function that returns the matrix with lines and columns interchanged

the matrix (1 3) would be transformed into the matrix (1 2) (2 7) (3 7)

Arity: 2

Domain: Matrix

Range: Matrix

Axioms:

(<=> (Transpose ?A ?B)
     (And (Matrix ?A)
          (Matrix ?B)
          (= (Column-Dimension ?A) (Row-Dimension ?B))
          (= (Row-Dimension ?A) (Column-Dimension ?B))
          (Forall (?I ?J) (= (Value ?A ?I ?J) (Value ?B ?J ?I)))))