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.
Пересечение конечного множества с любым другим набором пусто, если и только если ни один из элементов конечного множества не находится в другом наборе:
solvelib::isEmpty({a, b} intersect Z_)
Выход solve может быть введен непосредственно в solvelib::isEmpty:
solvelib::isEmpty(solve(a*x=b, x))
Иногда, никакое более простое эквивалентное выражение не может быть найдено:
result := solvelib::isEmpty(solve(x^2 = sin(x), x))
Возвращенным выражением является Булево выражение:
testtype(result, Type::Boolean)
|
Любой набор |
Булево выражение
S