2 in notes

tefsujme'o lujvo

m₁ is a polynomial function in variable t₂=s₂ of degree (maximum power with nonzero coefficient) t₃ interpreted by rules m₂

m2 can include (but is not limited to) information about the underlying formal polynomial and/or ring of definition, steps of addition series (which terms are being summed), and input domain of the function. t2 is a variable of input (no longer an indeterminant, as it is for the underlying formal polynomial). See also: cpolinomi'a

• jbovlaste

In notes:

sujypau

p₁ is a term of sum/polynomial p₂=s₁

cpolinomi'a

x₁ is a formal polynomial with coefficients x2 (ordered list) of degree x₃ (li; nonnegative integer) over structure/ring x₄ (to which coefficients x₂ all belong) and in indeterminant x₅.