solvelib::BasicSet

Basic infinite sets

Syntax

Domain Creation

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

Description

The domain solvelib::BasicSet comprises the four sets of integers, reals, rationals, and complex numbers, respectively.

The four basic sets are assigned to the identifiers Z_, Q_, R_, and C_ during system initialization.

The set of positive integers, too, is assigned to the identifier N_ during system initialization. It is not represented by a basic set but by the intersection of Z_ and the interval Dom::Interval([1], infinity).

Superdomain

Dom::BaseDomain

Categories

Cat::Set

Examples

Example 1

The domain of basic sets know about the basic arithmetical and set-theoretic functions:

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

Methods

expand all

Mathematical Methods

contains — Test whether some object is a member

contains(a, S)

Equivalently, is(a in S) may be used.

Conversion Methods

See Also

MuPAD Domains

Was this topic helpful?