Введите проверку и математические свойства

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

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

Примечание

Используйте только в Интерфейсе MuPAD Notebook. Эта функциональность не запускается в MATLAB.

Эта библиотека содержит несколько объектов выполнить синтаксические тесты с testtype (см. Пример 1).

Некоторые объекты в этой библиотеке зависят от аргументов, которые должны быть даны пользователем (см. Пример 2).

Некоторые объекты могут использоваться в качестве математических свойств в assume и is (см. Пример 3).

Примечание

Все другие объекты, которые не являются свойствами, не могут использоваться в assume и is (см. Пример 4).

Следующие таблицы дают обзор всех объектов в этой библиотеке:

Имясинтаксический тестсвойствоимеет аргументы
Ввод::данетнет
Ввод::данетнет
Ввод::данетнет
Ввод::данетнет
Ввод::даданет
Ввод::данетнет
Ввод::данетнет
Ввод::данетда
Ввод::даданет
Ввод::данетнет
Ввод::даданет
Ввод::данетда
Ввод::даданет
Ввод::нетдада
Ввод::данетда
Ввод::данетда
Ввод::даданет
Ввод::даданет
Ввод::даданет
Ввод::даданет
Ввод::даданет
Ввод::даданет
Ввод::даданет
Ввод::данетнет
Ввод::даданет
Ввод::данетда
Ввод::даданет
Ввод::даданет
Ввод::даданет
Ввод::данетнет
Ввод::данетда
Ввод::данетнет
Ввод::даданет
Ввод::даданет
Ввод::данетнет
Ввод::дадада
Ввод::данетда
Ввод::данетда
Ввод::данетнет
Ввод::данетда
Ввод::данетнет
Ввод::данетда
Ввод::данетда
Ввод::данетда
Ввод::данетнет
Ввод::даданет

Пример 1

testtype выполняет синтаксические тесты:

testtype([1, 2, 3], Type::ListOf(Type::PosInt))

testtype(3 + 4*I, Type::Constant)

Пример 2

Некоторые типы зависят от параметров и не могут использоваться без параметров:

testtype([1, 2, 3], Type::ListOf)

testtype(x = 0, Type::Equation(Type::Unknown, Type::Zero))

Интервал должен быть дан с границами, в противном случае это не свойство:

assume(x, Type::Interval)
Error: Second argument must be a property. [assume]
assume(x, Type::Interval(0, infinity))

Пример 3

is выводит математические свойства:

assume(x > 0):
is(sqrt(x^2), Type::NonNegative)

is(-(2*x + 1) < 0)

Пример 4

Type::Property и Type::Constant не являются свойствами:

assume(x, Type::Property)
Error: Second argument must be a property. [assume]
is(x, Type::AnyType)
Error: Second argument must be a property or a goal. [is]
Для просмотра документации необходимо авторизоваться на сайте