Metamath Proof Explorer


Table of Contents - 11.3.5. Univariate polynomials

According to Wikipedia ("Polynomial", 23-Dec-2019, https://en.wikipedia.org/wiki/Polynomial) "A polynomial in one indeterminate is called a univariate polynomial, a polynomial in more than one indeterminate is called a multivariate polynomial." In this sense univariate polynomials are defined as multivariate polynomials restricted to one indeterminate/polynomial variable in the following, see ply1bascl2.

According to the definition in Wikipedia "a polynomial can either be zero or can be written as the sum of a finite number of nonzero terms. Each term consists of the product of a number - called the coefficient of the term - and a finite number of indeterminates, raised to nonnegative integer powers.". By this, a term of a univariate polynomial (often also called "polynomial term") is the product of a coefficient (usually a member of the underlying ring) and the variable, raised to a nonnegative integer power.

A (univariate) polynomial which has only one term is called (univariate) monomial- therefore, the notions "term" and "monomial" are often used synonymously, see also the definition in [Lang] p. 102. Sometimes, however, a monomial is defined as power product, "a product of powers of variables with nonnegative integer exponents", see Wikipedia ("Monomial", 23-Dec-2019, https://en.wikipedia.org/wiki/Mononomial). In [Lang] p. 101, such terms are called "primitive monomials". To avoid any ambiguity, the notion "primitive monomial" is used for such power products ("x^i") in the following, whereas the synonym for "term" ("ai x^i") will be "scaled monomial".

  1. cps1
  2. cv1
  3. cpl1
  4. cco1
  5. ctp1
  6. df-psr1
  7. df-vr1
  8. df-ply1
  9. df-coe1
  10. df-toply1
  11. psr1baslem
  12. psr1val
  13. psr1crng
  14. psr1assa
  15. psr1tos
  16. psr1bas2
  17. psr1bas
  18. vr1val
  19. vr1cl2
  20. ply1val
  21. ply1bas
  22. ply1lss
  23. ply1subrg
  24. ply1crng
  25. ply1assa
  26. psr1bascl
  27. psr1basf
  28. ply1basf
  29. ply1bascl
  30. ply1bascl2
  31. coe1fval
  32. coe1fv
  33. fvcoe1
  34. coe1fval3
  35. coe1f2
  36. coe1fval2
  37. coe1f
  38. coe1fvalcl
  39. coe1sfi
  40. coe1fsupp
  41. mptcoe1fsupp
  42. coe1ae0
  43. vr1cl
  44. opsr0
  45. opsr1
  46. psr1plusg
  47. psr1vsca
  48. psr1mulr
  49. ply1plusg
  50. ply1vsca
  51. ply1mulr
  52. ply1ass23l
  53. ressply1bas2
  54. ressply1bas
  55. ressply1add
  56. ressply1mul
  57. ressply1vsca
  58. subrgply1
  59. gsumply1subr
  60. psrbaspropd
  61. psrplusgpropd
  62. mplbaspropd
  63. psropprmul
  64. ply1opprmul
  65. 00ply1bas
  66. ply1basfvi
  67. ply1plusgfvi
  68. ply1baspropd
  69. ply1plusgpropd
  70. opsrring
  71. opsrlmod
  72. psr1ring
  73. ply1ring
  74. psr1lmod
  75. psr1sca
  76. psr1sca2
  77. ply1lmod
  78. ply1sca
  79. ply1sca2
  80. ply1ascl0
  81. ply1ascl1
  82. ply1mpl0
  83. ply10s0
  84. ply1mpl1
  85. ply1ascl
  86. subrg1ascl
  87. subrg1asclcl
  88. subrgvr1
  89. subrgvr1cl
  90. coe1z
  91. coe1add
  92. coe1addfv
  93. coe1subfv
  94. coe1mul2lem1
  95. coe1mul2lem2
  96. coe1mul2
  97. coe1mul
  98. ply1moncl
  99. ply1tmcl
  100. coe1tm
  101. coe1tmfv1
  102. coe1tmfv2
  103. coe1tmmul2
  104. coe1tmmul
  105. coe1tmmul2fv
  106. coe1pwmul
  107. coe1pwmulfv
  108. ply1scltm
  109. coe1sclmul
  110. coe1sclmulfv
  111. coe1sclmul2
  112. ply1sclf
  113. ply1sclcl
  114. coe1scl
  115. ply1sclid
  116. ply1sclf1
  117. ply1scl0
  118. ply1scln0
  119. ply1scl1
  120. coe1id
  121. ply1idvr1
  122. cply1mul
  123. ply1coefsupp
  124. ply1coe
  125. eqcoe1ply1eq
  126. ply1coe1eq
  127. cply1coe0
  128. cply1coe0bi
  129. coe1fzgsumdlem
  130. coe1fzgsumd
  131. ply1scleq
  132. ply1chr
  133. gsumsmonply1
  134. gsummoncoe1
  135. gsumply1eq
  136. lply1binom
  137. lply1binomsc
  138. ply1fermltlchr