* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки

Работа с выражениями в системе Mathematica 261 3.10.21. Другие функции для работы с полиномами Имеется множество функций, большей частью достаточно очевидных для знако мого с математикой пользователя, – функций для работы с полиномами: • Decompose[poly, x] – выполняет разложение полинома, если это возможно, на более простые полиномиальные множители. • GroebnerBasis[{poly1, poly2, ...}, {x1, x2, ...}] – возвращает список поли номов, которые образуют базис Гробнера для идеала, порожденного поли номами polyi. • PolynomialDivision[p, q, x] – возвращает список частного и остатка, полу ченных делением полиномов p и q от x. • PolynomialGCD[poly1, poly2, ...] – возвращает наибольший общий дели тель ряда полиномов poly1, poly2, .... С опцией Modulus >p] функция воз вращает GCD по модулю простого p. • PolynomialLCM[poly1, poly2, ...] – возвращает наименьшее общее кратное полиномов poly1, poly2, .... С опцией Modulus >p] функция возвращает LCM по модулю простого p. • PolynomialMod[poly, m] – возвращает полином poly, приведенный по моду лю m. • PolynomialMod[poly, {m1, m2, ...}] – выполняет приведение по модулю всех mi. • PolynomialQ[expr, var] – выдает значение True, если expr является полино мом от var, иначе дает False. • PolynomialQ[expr, {var1, ...}] – проверяет, является ли expr полиномом от vari. • PolynomialQuotient[p, q, x] – возвращает частное от деления p и q как по линомов от x, игнорируя какой либо остаток. • PolynomialRemainder[p, q, x] – возвращает остаток от деления p на q как полиномов от x. • Resultant[poly1, poly2, var] – вычисляет результат полиномов poly1 и poly2 по переменной var. С опцией Modulus >p] функция вычисляет ре зультат по модулю простого p. Работа с этими функциями сводит операции с многочленами к типовым алгеб раическим операциям. 3.10.22. Расширенные операции с выражениями В этом параграфе сосредоточено описание основных функций для расширенных операций с выражениями. Для этого служат следующие функции: • AlgebraicRules[eqns, {x1, x2, ...}] – формирует множество алгебраических правил, которые замещают переменные, ранее находившиеся в списке xi, на