tefsujme'o
lujvo 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
lujvo p_{1} is a term of sum/polynomial p_{2}=s_{1} See also sumji, tefsujme'o.


cpolinomi'a
fu'ivla x_{1} is a formal polynomial with coefficients x2 (ordered list) of degree x_{3} over structure/ring x_{4} (to which coefficients x_{2} all belong) and in indeterminant x_{5} If x2 is presented as an ordered list, the entries represent the 'coefficients' of the particular polynomial and are specified in the order such that the ith entry/term is the (i1)th 'coefficient' for all natural numbers i between 1 and n+1 inclusively; thus, the first entry is the constant term (when treated as a function), the second term is the coefficient of the argument of x5 (when treated as a function), and the nth term is the coefficient of the argument of x5 exponentiated by (n1). See also: tefsujme'o (polynomial function)
