Type::Residue
Свойство, представляющее класс вычетов
Блокноты 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® |