projVandermonde — Mathlib

English

projVandermonde is the specialization of rectVandermonde with one parameter set to 1; it has entries (v(i))^j * (w(i))^(j.rev).

Русский

projVandermonde — частный случай rectVandermonde, где один из наборов значений равен 1.

LaTeX

$$$\\mathrm{projVandermonde}(v,w,n) = \\mathrm{rectVandermonde}(v,w,n)$ with the second vector set to 1.$$

Lean4

/-- A square matrix with rows all having the form `[b^(n-1), a * b^(n-2), ..., a ^ (n-1)]` -/
def projVandermonde (v w : Fin n → R) : Matrix (Fin n) (Fin n) R :=
  rectVandermonde v w n

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