Exponenta Banner

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 может быть набором любого типа (конечный или бесконечный).

Примеры

Пример 1

В случае конечного множества 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)))

Пример 2

Для интервалов предварительное изображение обычно является интервалом или объединением интервалов.

solvelib::preImage(x^2+2, x, Dom::Interval(3..7));

Параметры

a

Арифметическое выражение

x

Идентификатор

S

Набор

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

Набор

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

Функции MuPAD

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