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
Параметры
|
Строка, которая будет использоваться в симпатичной печати типа |
|
Функция одного аргумента, который может возвратить |
|
Любые объекты MuPAD |
Возвращаемые значения
Смотрите testtype