m_{1} is a polynomial function in variable t_{2}=s_{2} of degree (maximum power with nonzero coefficient) t_{3} interpreted by rules m_{2}

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

- sujypau
- p
_{1}is a term of sum/polynomial p_{2}=s_{1} - cpolinomi'a
- x
_{1}is a formal polynomial with coefficients x2 (ordered list) of degree x_{3}(li; nonnegative integer) over structure/ring x_{4}(to which coefficients x_{2}all belong) and in indeterminant x_{5}