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