hadamard — Mathlib

English

The Hadamard product is the entrywise product of two matrices of the same size.

Русский

Пусть имеется покомпонентное произведение двух матриц одинакового размера (Hadamard произведение).

LaTeX

$$def hadamard [Mul α] (A : Matrix m n α) (B : Matrix m n α) : Matrix m n α :=$$

Lean4

/-- `Matrix.hadamard` (denoted as `⊙` within the Matrix namespace) defines the Hadamard product,
which is the pointwise product of two matrices of the same size. -/
def hadamard [Mul α] (A : Matrix m n α) (B : Matrix m n α) : Matrix m n α :=
  of fun i j => A i j * B i j

Похожие утверждения