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.

Примеры

Пример 1

Пустой из DOM_SET может быть сразу решен:

solvelib::isEmpty({a, b}), solvelib::isEmpty({})

Пример 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

Любой набор

Возвращаемые значения

Булево выражение

Перегруженный

S

Смотрите также

Функции MuPAD

Для просмотра документации необходимо авторизоваться на сайте