solvelib:: isEmpty
Предикат, выражающий пустой из набора
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Синтаксис
solvelib::isEmpty(S)
Описание
solvelib::isEmpty(S) возвращает булево выражение, которое эквивалентно оператору, что S является пустым множеством.
Начиная с функций, работающих с булевыми выражениями как assume, is или solve не может обработать уравнения, включающие наборы, не возможно передать выражение S={} им. solvelib::isEmpty(S) помогает обойти эту проблему, когда это пытается выразить пустой из S эквивалентным способом, который может быть обработан вышеупомянутыми функциями. Если никакое подходящее equivalen выражение не найдено, на неоцененный звонок solvelib::isEmpty отвечают.
S может быть набором любого типа; смотрите solve для перечисления различных типов наборов.
Функция solvelib::isEmpty всегда возвращает Булевы выражения, даже если функция не может разрешить выражение. Смотрите Пример 4.
Примеры
Пример 2
Пересечение конечного множества с любым другим набором пусто, если и только если ни один из элементов конечного множества не находится в другом наборе:
solvelib::isEmpty({a, b} intersect Z_)
Пример 3
Вывод solve может быть введен непосредственно в solvelib::isEmpty:
solvelib::isEmpty(solve(a*x=b, x))
Пример 4
Иногда, никакое более простое эквивалентное выражение не может быть найдено:
result := solvelib::isEmpty(solve(x^2 = sin(x), x))
Возвращенным выражением является Булево выражение:
testtype(result, Type::Boolean)
Параметры
|
Любой набор |
Возвращаемые значения
Булево выражение
Перегруженный
S