solvelib::isFinite
-- test
whether a set is finitesolvelib::isFinite
(S)
returns
TRUE
, FALSE
, or UNKNOWN
depending on whether S
is finite, infinite, or the
question could not be settled.
solvelib::isFinite(S)
S |
- | any set |
Boolean value
S
A DOM_SET
is always finite.
>> solvelib::isFinite({2,5})
TRUE
The set of integers is infinite.
>> solvelib::isFinite(Z_)
FALSE