solvelib::BasicSet -- the basic
infinite sets
IntroductionThe domain solvelib::BasicSet comprises the four sets
of integers, reals, rationals, and complex numbers, respectively.
IntroductionZ_, or equivalently
solvelib::BasicSet(Dom::Integer), represents
the set of integers.
Q_, or equivalently
solvelib::BasicSet(Dom::Rational), represents
the set of rational numbers.
R_, or equivalently
solvelib::BasicSet(Dom::Real), represents the
set of real numbers.
C_, or equivalently
solvelib::BasicSet(Dom::Complex), represents
the set of complex numbers.
Creating
Elementssolvelib::BasicSet(Dom::Integer)
solvelib::BasicSet(Dom::Rational)
solvelib::BasicSet(Dom::Real)
solvelib::BasicSet(Dom::Complex)
Z_
Q_
R_
C_
Cat::Set
Related
Domains
DetailsZ_, Q_, R_, and C_
during system initialization.contains(arithmetical expression a, dom S)TRUE, FALSE, or UNKNOWN.is(a in S) may be used.convert(any d)d into a basic set; it returns
FAIL unless d is one of the four domains
Dom::Integer, Dom::Rational, Dom::Real, and Dom::Complex.set2prop(dom S)Type library
equivalent to S.
Example
1The domain of basic sets know about the basic arithmetical and set-theoretic functions.
>> J:=Dom::Interval(3/2, 21/4): Z_ intersect J
{2, 3, 4, 5}
Super-DomainAx::canonicalRep