Next Page Contents

solvelib::BasicSet -- the basic infinite sets

Introduction

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

Introduction

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.

Creating Elements

solvelib::BasicSet(Dom::Integer)
solvelib::BasicSet(Dom::Rational)
solvelib::BasicSet(Dom::Real)
solvelib::BasicSet(Dom::Complex)
Z_
Q_
R_
C_

Categories

Cat::Set

Related Domains

Dom::Interval

Details

Method contains: tests whether some object is a member

Method convert: converts a domain into a basic set

Method set2prop: converts a set to a property

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  
                               {2, 3, 4, 5}

Super-Domain

Dom::BaseDomain

Axioms

Ax::canonicalRep

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000