Exponenta Banner
exponenta event banner

Type::Predicate

Введите для тестирования объектного удовлетворения данному предикату

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

testtype(obj, Type::Predicate(<pname>, predicate, <p1, p2, …>))

Описание

Type::Predicate(predicate) представляет объекты MuPAD®, которые удовлетворяют предикату predicate.

Вызов testtype(obj, pname, Type::Predicate(< pname >, predicate , < p1 , p2 >)) протестируйте ли obj удовлетворяет predicate; это - он, возвращает predicate(obj, p1, p2, ...).

Type::Predicate(predicate), Type::Predicate(name, predicate), Type::Predicate ( predicate( p1 , p2 , …)), и Type::Predicate(name, predicate p1 , p2 , , …) соответственно довольно распечатаны как Type::Predicate(predicate), Type::name, Type::Predicate(p, p1, p2, ...), и Type::name(p1, p2, ...).

Примеры

Пример 1

Мы задаем тип, который содержит любой объект MuPAD:

t := Type::Predicate(x -> TRUE):
testtype(1, t), testtype(2, t), testtype(x, t)

Мы задаем тип, который содержит весь объект MuPAD, которые являются решением (x-1)*(x+1)=0:

t := Type::Predicate(x -> bool((x - 1)*(x + 1) = 0)):
testtype(1, t), testtype(2, t), testtype(x, t)

Мы задаем тип для разделов, то есть, уменьшая списки целых чисел:

part :=
    Type::Predicate(l -> _lazy_and(testtype(l, Type::ListOf(Type::Integer)),
                                   bool(revert(sort(l)) = l))):
testtype(a, part), testtype([3, 6, 1], part), testtype([3, 2, 2], part)

Используя именование средству рекомендуют улучшить удобочитаемость сообщений об ошибке:

part :=
    Type::Predicate("Partition",
                    l -> _lazy_and(testtype(l, Type::ListOf(Type::Integer)),
                                   bool(revert(sort(l)) = l))):
f := proc(p: part) begin end:
f(3);
Error: Invalid object '3'. Type of argument number 1 must be 'Type::Partition'.
  Evaluating: f

Параметры

pname

Строка, которая будет использоваться в симпатичной печати типа

predicate

Функция одного аргумента, который может возвратить TRUEложь или FAIL

obj, p1, p2, …

Любые объекты MuPAD

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

Смотрите testtype

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

Функции MuPAD

Документация Symbolic Math Toolbox
Поддержка