Ввод::
Свойство, представляющее класс вычетов
Блокноты 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)
.
Type::Residue
может использоваться в testtype
:
testtype(6, Type::Residue(2, 4)), testtype(13, Type::Residue(1, 20))
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® |