solvelib::BasicSet
-- the basic
infinite setsThe domain solvelib::BasicSet
comprises the four sets
of integers, reals, rationals, and complex numbers, respectively.
Z_
, 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.
solvelib::BasicSet
(Dom::Integer)
solvelib::BasicSet
(Dom::Rational)
solvelib::BasicSet
(Dom::Real)
solvelib::BasicSet
(Dom::Complex)
Z_
Q_
R_
C_
Cat::Set
Z_
, 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
.The 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}
Ax::canonicalRep