solvelib
:: preImage
Предварительное изображение набора при отображении
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
solvelib::preImage(a
, x
, S
)
solvelib::preImage(a, x, S)
возвращает набор всех чисел y
, таким образом, что заменение y
для x
в a
дает элемент S
.
S
может быть набором любого типа (конечный или бесконечный).
В случае конечного множества S
предварительное изображение S является только объединением всех наборов solve(a=s, x)
, где s
передвигается на элементы S
.
solvelib::preImage(x^2+2, x, {11, 15});
Обратите внимание на то, что вычисление этого набора может занять много времени для больших конечных множеств:
time(solvelib::preImage(x, x, Z_ intersect Dom::Interval(0, 1000000)))
Для интервалов предварительное изображение обычно является интервалом или объединением интервалов.
solvelib::preImage(x^2+2, x, Dom::Interval(3..7));
|
Арифметическое выражение |
|
Идентификатор |
|
Набор |
Набор