2 in notes

po'i'ei _VUhU3 experimental cmavo

n-ary mekso operator: for an input of ordered list of ordered pairs ((X_{1, Y}, it outputs formal generalized rational function (x - X_1)^Y in the adjoined indeterminate (here: x).

n may be infinite, under the condition that the function is well-defined. In the definition, adjacency of terms denotes multiplication in the relevant algebraic structure. If there is an i such that Y_i is omitted, then Y_i = 1 by default. For any i, there is no constraint on the values which may be taken by X_i or Y_i. See also: "po'i'oi".

• jbovlaste

In notes:

po'i'oi

mekso at-most-3-ary operator: convert to polynomial; X₁ (ordered list of algebraic structure (probably field) elements) forms the (ordered list of) coefficients of a polynomial/Laurent-like series with respect to indeterminate X₂ under ordering rule X₃ (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)

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₅.