Ввод::
Свойство, представляющее класс вычетов
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Синтаксис
assume(x, (rem,class, <sub_set>)) is(ex, (rem,class, <sub_set>)) testtype(ex, (rem,class, <sub_set>))
Описание
Type::Residue(rem, class) представляет целые числа n, для которого n - rem является делимым class.
Вызов assume(x, Type::Residue(rem, class)) отмечает идентификатор x как целое число, делимое class с остатком rem.
is(ex, Type::Residue(rem, class)) вызова выводит, ли выражение, ex является целым числом, делимым class с остатком rem (или это свойство может быть выведен).
Этот тип представляет свойство, которое может использоваться в assume и is.
Type::Even и Type::Odd являются объектами, созданными Type::Residue.
Проверки testtype(obj, Type::Residue(rem, class)) вызова, является ли obj целым числом и является делимым class с остатком rem. Если дополнительный аргумент sub_set дан, проверки testtype дополнительно testtype(obj, sub_set).
Примеры
Пример 1
Type::Residue может использоваться в testtype:
testtype(6, Type::Residue(2, 4)), testtype(13, Type::Residue(1, 20))
Пример 2
x принят, чтобы быть делимым 3 с остатком 1:
assume(x, Type::Residue(1, 3))
Какие свойства x + 2 получил?
getprop(x + 2)
x является целым числом, но это может быть нечетно или нет:
is(x, Type::Integer), is(x, Type::Odd)
Этот пример ограничивает возможные значения x к нечетным целым числам:
assume(x, Type::Residue(1, 4)); is(x, Type::Odd), is((-1)^x < 0)
Параметры
|
Идентификатор или математическое выражение, содержащее идентификаторы |
|
Остаток как целое число между |
|
Делитель как положительное целое число |
|
Подмножество целых чисел (например, |
| |
|
Любой объект MuPAD® |