Описание

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; в противном случае это - многочленное выражение.