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