Skip to content

Introduce definitions for matrix-vector arithmetic.

Garett Cunningham requested to merge gcunning/dandelion:master into master
  • Define datatypes for vector and matrix.
  • Define predicates for validating vector and matrix values.
  • Define functions for dot products and matrix-vector multiplication.
  • Mock-up closure theorem for vector validity under matProd.

Merge request reports