Dom:: ImageSet
Область изображений наборов при отображениях
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Синтаксис
Доменное создание
Dom::ImageSet()
Создание элемента
Dom::ImageSet(f,x,S)
Dom::ImageSet(f,[x1, …],[S1, …])
Описание
Доменное создание
Dom::ImageSet является областью всех наборов комплексных чисел, которые могут быть записаны как набор всех значений, взятых некоторым отображением, т.е. наборами формы
для некоторого функционального f и некоторыми наборами S 1, …, S n.
Наборы изображений в основном используются solve, чтобы выразить наборы как
.
Dom::ImageSet принадлежит категории Cat::Set — арифметические и относящиеся к теории множеств операции наследованы оттуда.
Создание элемента
Dom::ImageSet(f, x, S) представляет набор всех значений, которые могут быть получены путем заменения некоторым элементом S для x в выражении f.
Dom::ImageSet(f, [x1, ...], [S1, ...]) представляет набор всех значений, которые могут быть получены путем замены, для каждого i, идентификатор x i некоторым элементом S i в выражении f.
Dom::ImageSet(f, x, S) представляет набор
. Dom::ImageSet(f, [x1, ..., xn], [S1, ..., Sn]) представляет набор
.
f не должен содержать x; с другой стороны, это может содержать другие идентификаторы (свободные переменные).
Если список нескольких идентификаторов дан, идентификаторы должны быть отличными.
S должен быть набором; смотрите solve для обзора различных видов наборов в MuPAD®.
Dom::ImageSet выполняет некоторые автоматические упрощения, которые могут привести к результату типа, отличающегося от Dom::ImageSet.
Dom::ImageSet переименовывает переменные x1, ..., xn, во избежание конфликтов по совпадению имен, а также создания более хорошего вывода.
Суперобласть
Категории
Примеры
Пример 1
Мы задаем S, чтобы быть набором всех целочисленных множителей π.
S:= Dom::ImageSet(ugly*PI, ugly, Z_)
Наше ужасное имя переменной было заменено более хорошим, которое предполагает, что представляет целое число.
Мы можем теперь применить обычные относящиеся к теории множеств операции.
S intersect Dom::Interval(3..7)
Пример 2
Элемент набора изображений может быть получен путем замены всеми параметрами некоторыми значениями:
S:= Dom::ImageSet(a^7 + b^3 + C, [a, b], [Z_, Z_])
При вызове метода evalParam мы должны заботиться, что имена переменных были заменены.
Dom::ImageSet::evalParam(S, k = 3, l = 5)
То же самое может быть достигнуто с помощью индексного оператора:
S[3, 5]
Занимая место только один параметр, мы получаем набор изображений в другом параметре:
Dom::ImageSet::evalParam(S, k = 3)
Параметром можно заменить отдельно, означая, что это становится свободной переменной:
Dom::ImageSet::evalParam(S, k = k)
Метод evalParam не может использоваться, чтобы заменить свободной переменной:
Dom::ImageSet::evalParam(S, C = 3)
delete S:
Параметры
|
Арифметическое выражение |
|
Идентификатор или индексированный идентификатор |
|
Набор любого типа |
Методы
Математические методы
changevar — Поменяйте имя переменной
changevar(A, oldvar, newvar)
Новая переменная newvar не должна равняться никакому элементу списка переменных; это не проверяется!
setvar — Определите имя переменной
setvar(A, newvar)
setvar(A, newvar)
Для аргумента A, который не является набором изображений, метод, "setvar" применяется ко всем наборам изображений, содержавшимся в выражении A. A может быть, например, объединением, пересечением, и т.д. наборов изображений и других наборов.
homogpointwise — Задайте не pointwise оператор для наборов изображений
homogpointwise(Op)
Op должен принять арифметические выражения как аргументы.
isempty Протестируйте, пуст ли набор
isEmpty(A)
substituteBySet — Замените ImageSet переменную
substituteBySet(a, x, A)
freeIndets — Свободные параметры набора
freeIndets(A)
Если
, i x называется связанный, и i y называются свободными параметрами.
Используйте слот "variables", чтобы получить связанные параметры.
evalParam — Вставьте значения для связанных параметров
evalParam(A(x = value, …))
Если x не является параметром, а свободной переменной A, им не заменяет value.
value может быть идентификатором или содержать идентификаторы; в частности, это может содержать x и/или некоторые остающиеся параметры. Это может использоваться, чтобы преобразовать параметры в свободные переменные.
Несколько параметров могут быть заменены в одном вызове.
Смотрите пример 2.
_index — Извлеките элемент путем вставки значений для связанных параметров
_index(A, value1, …)
Количество значений передало, должен совпадать с количеством переменных A.
Это не проверяется, принадлежит ли для каждого i, значение для ith параметра набору ith.
Смотрите пример 2.
Методы доступа
expr) Определение сопоставляющий как выражение
expr(A)
Этот метод перегружает функциональный expr.
переменные Список переменных
variables(A)
Свободные параметры (идентификаторы, появляющиеся в f кроме i x), могут быть получены с помощью слота "freeIndets".
nvars — Количество переменных
nvars(A)
sets — Список наборов
sets(A)
Технические методы
печать Распечатайте набор изображений
print(A)