Exponenta Banner

solvelib:: pdioe

Решите полиномиальные диофантовые уравнения

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

solvelib::pdioe(a, b, c)
solvelib::pdioe(aexpr, bexpr, cexpr, x)

Описание

solvelib::pdioe(a, b, c) возвращает полиномы u и v, которые удовлетворяют уравнению au + bv = c.

solvelib::pdioe(aexpr, bexpr, cexpr, x) делает то же самое после преобразования аргументов в одномерные полиномы a, b, c в переменной x.

Содействующим звонком полиномов a, b и c должен быть или Expr, или IntMod(p) для некоторого главного p или область, принадлежащая категории Cat::Field.

Примеры

Пример 1

Если выражения передаются в качестве аргументов, четвертый аргумент должен быть обеспечен:

solvelib::pdioe(x,
                13*x + 22*x^2 + 18*x^3 + 7*x^4 + x^5 + 3,
                x^2 + 1,
                x)

Пример 2

x не является кратным GCD x + 1 и x 2 - 1. Следовательно уравнение u (x + 1) + v (x 2 - 1) = x не имеет никакого решения для u и v:

solvelib::pdioe(x + 1, x^2 - 1, x, x)

Пример 3

Если аргументы являются полиномами, четвертый аргумент может быть не использован:

solvelib::pdioe(poly(a + 1, [a]),
                poly(a^2 + 1, [a]),
                poly(a - 1, [a]))

Параметры

x

Идентификатор или индексированный идентификатор

a, B, C

Одномерные полиномы

aexpr, bexpr, cexpr

Многочленные выражения

Возвращаемые значения

Если уравнение разрешимо, solvelib::pdioe возвращает последовательность выражения, состоящую из двух операндов того же типа как вход (выражения или полиномы). Если уравнение не имеет никакого решения, solvelib::pdioe возвращает FAIL.

Смотрите также

Функции MuPAD

Документация Symbolic Math Toolbox
Поддержка