Function *

• Defined in theory: Basic-matrix-algebra
• Source code: basic-matrix.lisp
• Also defined in: Kif-numbers, Physical-quantities, Scalar-quantities, Unary-scalar-functions, Tensor-quantities

Slots on this function:

Documentation:

Function that returns the product of two matrices

Axioms:

(=> (And (Matrix ?A)
         (Matrix ?B)
         (= (Column-Dimension ?A) (Row-Dimension ?B)))
    (<=> (* ?A ?B ?C)
         (And (Matrix ?C)
              (= (Row-Dimension ?A) (Row-Dimension ?C))
              (= (Column-Dimension ?B) (Column-Dimension ?C))
              (Forall (?I ?J)
                      (=> (Defined (Value ?C ?I ?J))
                          (= (Value ?C ?I ?J)
                             (Summation (Lambda (?K)
                                                (* (Value ?A ?I ?K)
                                                   (Value ?B ?K ?J)))
                                        1
                                        (Column-Dimension ?A))))))))