Свойства

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

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

Примечание

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

Три типа математических свойств доступны в MuPAD®:

  • Основные области номера, такие как область целых чисел, область рациональных чисел, область вещественных чисел, область положительных вещественных чисел или область комплексных чисел

  • Интервалы в основных областях номера

  • Классы вычетов целых чисел

Часто, существует несколько эквивалентных способов задать свойство. Например, >= 0, Type::NonNegative и Type::Interval([0], infinity) являются эквивалентными свойствами. Точно так же Type::Odd эквивалентен Type::Residue(1, 2).

Некоторые члены библиотеки Type не соответствуют математическим свойствам, например, Type::ListOf.

Эта таблица показывает некоторые примеры того, как установить свойства на идентификаторе или выражении expr.

Примечание

Если expr является списком, вектором или матрицей, то только синтаксис (expr, set) допустим. Не используйте синтаксисы (expr in set) или отношения, такие как expr > 0 или expr < 0, для нескалярного expr.

СвойствоРекомендуемый способ задать свойство exprАльтернативный способ задать свойство expr

Действительное значение,

(expr, R_)

(expr, Type::Real)

Мнимое значение,

(expr, R_*I) или (expr in R_*I)

(expr, Type::Imaginary)

Комплексное число. Это - значение по умолчанию для большинства объектов MuPAD.

(expr, C_) или (expr in C_)

(expr, Type::Complex)

Целочисленное значение,

(expr, Z_) или (expr in Z_)

(expr, Type::Integer)

Рациональное значение,

(expr, Q_)

(expr, Type::Rational)

Положительное значение,

(expr > 0)

(expr, Type::Positive)

Отрицательная величина,

(expr < 0)

(expr, Type::Negative)

Неотрицательное значение,

(expr >= 0)

(expr, Type::NonNegative)

Нуль, {0}

(expr = 0)

(expr, Type::Zero)

Ненулевое значение,

(expr <> 0)

(expr, Type::NonZero)

Даже значение,

(expr, 2*Z_) или (expr in 2*Z_)

(expr, Type::Even)

Нечетное значение,

(expr, 2*Z_ + 1)

(expr, Type::Odd)

Положительное целочисленное значение,

(expr in Z_ and expr > 0)

(expr, Type::PosInt)

Отрицательное целочисленное значение,

(expr in Z_ and expr < 0)

(expr, Type::NegInt)

Неотрицательное целочисленное значение,

(expr in Z_ and expr >= 0)

(expr, Type::NonNegInt)

Положительное рациональное значение,

(expr in Q_ and expr > 0)

(expr, Type::PosRat)

Отрицательное рациональное значение,

(expr in Q_ and expr < 0)

(expr, Type::NegRat)

Неотрицательное рациональное значение,

(expr in Q_ and expr >= 0)

(expr, Type::NonNegRat)

Здесь, a,b является выражениями, и T является основной областью номера.

(expr in T and a < expr < b)

(expr, Type::Interval(a, b, T))

Здесь, a,b является выражениями, и T является основной областью номера.

(expr in T and a <= expr < b)

(expr, Type::Interval([a], b, T))

Здесь, a,b является выражениями, и T является основной областью номера.

(expr in T and a < expr <= b)

(expr, Type::Interval(a, [b], T))

Здесь, a,b является выражениями, и T является основной областью номера.

(expr in T and a <= expr <= b)

(expr, Type::Interval([a], [b], T))

b + a

Здесь, a и b являются целыми числами.

(expr, b*Z_ + a) или (expr in b*Z_ + a)

(expr, Type::Residue(a, b)) или (expr, b* Type::Integer + a)