cpolinomi'a fu'ivla

x1 is a formal polynomial with coefficients x2 (ordered list) of degree x3 (li; nonnegative integer) over structure/ring x4 (to which coefficients x2 all belong) and in indeterminant x5

x3 must be greater than or equal to the number of entries in x2; if these two values are not equal, then the explicitly mentioned entries of x2 are the values of the coefficients as will be described next, starting with the most important one; all the following coefficients (which are not explicitly mentioned) are xo'ei (taking appropriate values) until and including once the constant term's coefficient (when understood as a function) is reached. 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 (n-i+1)th 'coefficient', for all natural numbers i between 1 and n+1 inclusively, where the ordering of 'coefficients' is determined by the exponent of the indeterminate associated therewith (when treated as a function); thus, the last entry is the constant term (when treated as a function), the penultimate term is the coefficient of the argument of x5 (when treated as a function), and the first term is the coefficient of the argument of x5 exponentiated by n (which is the degree of the polynomial). See also: tefsujme'o (polynomial function)

In notes:

m1 is a polynomial function in variable t2=s2 of degree (maximum power with nonzero coefficient) t3 interpreted by rules m2
po'i'oi (exp!)
mekso at-most-3-ary operator: convert to polynomial; X1 (ordered list of algebraic structure (probably field) elements) forms the (ordered list of) coefficients of a polynomial/Laurent-like series with respect to indeterminate X2 under ordering rule X3 (default for finite list: the first entry is the coefficient of the highest-degree term and each subsequent entry is the next lesser-degree coefficient via counting by ones and wherein the last entry is the constant term)