Previous Page Next Page Contents

solvelib::isFinite -- test whether a set is finite

Introduction

solvelib::isFinite(S) returns TRUE, FALSE, or UNKNOWN depending on whether S is finite, infinite, or the question could not be settled.

Call(s)

solvelib::isFinite(S)

Parameters

S - any set

Returns

Boolean value

Overloadable:

S

Related Functions

solve

Example 1

A DOM_SET is always finite.

>> solvelib::isFinite({2,5})
                                   TRUE

Example 2

The set of integers is infinite.

>> solvelib::isFinite(Z_)
                                   FALSE

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000