Metamath Proof Explorer


Table of Contents - 11.3.4. 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. ply1basOLD
  23. ply1lss
  24. ply1subrg
  25. ply1crng
  26. ply1assa
  27. psr1bascl
  28. psr1basf
  29. ply1basf
  30. ply1bascl
  31. ply1bascl2
  32. coe1fval
  33. coe1fv
  34. fvcoe1
  35. coe1fval3
  36. coe1f2
  37. coe1fval2
  38. coe1f
  39. coe1fvalcl
  40. coe1sfi
  41. coe1fsupp
  42. mptcoe1fsupp
  43. coe1ae0
  44. vr1cl
  45. opsr0
  46. opsr1
  47. psr1plusg
  48. psr1vsca
  49. psr1mulr
  50. ply1plusg
  51. ply1vsca
  52. ply1mulr
  53. ply1ass23l
  54. ressply1bas2
  55. ressply1bas
  56. ressply1add
  57. ressply1mul
  58. ressply1vsca
  59. subrgply1
  60. gsumply1subr
  61. psrbaspropd
  62. psrplusgpropd
  63. mplbaspropd
  64. psropprmul
  65. ply1opprmul
  66. 00ply1bas
  67. ply1basfvi
  68. ply1plusgfvi
  69. ply1baspropd
  70. ply1plusgpropd
  71. opsrring
  72. opsrlmod
  73. psr1ring
  74. ply1ring
  75. psr1lmod
  76. psr1sca
  77. psr1sca2
  78. ply1lmod
  79. ply1sca
  80. ply1sca2
  81. ply1ascl0
  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. ply1scl0OLD
  119. ply1scln0
  120. ply1scl1
  121. ply1scl1OLD
  122. ply1idvr1
  123. cply1mul
  124. ply1coefsupp
  125. ply1coe
  126. eqcoe1ply1eq
  127. ply1coe1eq
  128. cply1coe0
  129. cply1coe0bi
  130. coe1fzgsumdlem
  131. coe1fzgsumd
  132. ply1scleq
  133. ply1chr
  134. gsumsmonply1
  135. gsummoncoe1
  136. gsumply1eq
  137. lply1binom
  138. lply1binomsc
  139. ply1fermltlchr