X

Mathlib.Algebra.Polynomial.Basic

URI: https://scilib.ai/kg/mathlib#Polynomial.X

English

X is the indeterminate, i.e., the polynomial monomial of degree 1 with coefficient 1.

Русский

X — это индетерминант, то есть мономиал степени 1 с коэффициентом 1.

LaTeX

$$$ X = \operatorname{monomial}(1,1) $$$

Lean4

/-- `X` is the polynomial variable (aka indeterminate). -/
def X : R[X] :=
  monomial 1 1

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru