support — Mathlib

English

The support of a multivariate polynomial is the finite set of exponent vectors with nonzero coefficients.

Русский

Опор многочлена — это конечное множество векторов степени с ненулевыми коэффициентами.

LaTeX

$$$p: MvPolynomial\\\\sigma\\\\,R \\\\Rightarrow \\\\operatorname{support}(p) \\\\subseteq \\\\text{finitemap}$$$

Lean4

/-- The finite set of all `m : σ →₀ ℕ` such that `X^m` has a non-zero coefficient. -/
def support (p : MvPolynomial σ R) : Finset (σ →₀ ℕ) :=
  Finsupp.support p

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