Описание

genpoly(n, b, x) создает полиномиальный p в переменной x от b- адическое расширение n, таким образом, что p (b) = n. Целочисленные коэффициенты получившегося полинома больше и меньше чем или равны.

b - адическое расширение целочисленного n задано, такой, что _i c является симметричными остатками b по модулю, т.е. для всего i (см. mods). От этого расширения создается полином. Полином задан по содействующему звонку Expr.

Если первый аргумент genpoly (многомерный) полином, затем он должен быть задан по содействующему звонку Expr и должен иметь только целочисленные коэффициенты. Третий аргумент x не должна быть переменная полинома. В этом случае каждый целочисленный коэффициент преобразован в полином в x аналогичный описанному выше. Результатом является полином в переменной x, сопровождаемый переменными данного полинома. X основная переменная возвращенного полинома.)

Первый аргумент n май также быть многочленным выражением. В этом случае это преобразовано в полином с помощью poly, затем genpoly применяется аналогичный описанному выше, и результат снова преобразован в многочленное выражение.

Если первый аргумент является целым числом или полиномом, то результатом является полином доменного типа DOM_POLY; в противном случае это - многочленное выражение.