solvelib::BasicSet

Основные бесконечные множества

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

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

Синтаксис

Доменное создание

solvelib::BasicSet(Dom::Integer)
solvelib::BasicSet(Dom::Rational)
solvelib::BasicSet(Dom::Real)
solvelib::BasicSet(Dom::Complex)

Описание

Доменный solvelib::BasicSet включает четыре набора целых чисел, реалов, rationals, и комплексных чисел, соответственно.

Эти четыре основных набора присвоены идентификаторам Z_QR, и C_ во время системной инициализации.

Набор положительных целых чисел также присвоен идентификатору N_ во время системной инициализации. Это не представлено основным набором, но пересечением Z_ и интервал Dom::Interval([1], infinity).

Суперобласть

Dom::BaseDomain

Аксиомы

Ax::canonicalRep

Категории

Cat::Set

Примеры

Пример 1

Область основных наборов знает об основных арифметических и относящихся к теории множеств функциях:

J:=Dom::Interval(3/2, 21/4):
Z_ intersect J

Методы

развернуть все

Математические методы

contains(a, S)

Эквивалентно, is(a in S) может использоваться.

Методы преобразования

convert(d)

set2prop(S)

Смотрите также

Области MuPAD