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" применяется ко всем наборам изображений, содержавшимся в выражении AA может быть, например, объединение, пересечение, и т.д. наборов изображений и других наборов.
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 — Список переменных
variables(A)
Свободные параметры (идентификаторы, появляющиеся в f кроме i x), могут быть получены с помощью "freeIndets" паз.
nvars — Количество переменных
nvars(A)
sets — Список наборов
sets(A)
Технические методы
print — Распечатайте набор изображений
print(A)