Documentation

This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.

solvelib::BasicSet

Basic infinite sets

Syntax

Domain Creation

solvelib::BasicSet(Dom::Integer)
solvelib::BasicSet(Dom::Rational)
solvelib::BasicSet(Dom::Real)
solvelib::BasicSet(Dom::Complex)

Description

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

The four basic sets are assigned to the identifiers Z_, Q_, R_, and C_ during system initialization.

The set of positive integers, too, is assigned to the identifier N_ during system initialization. It is not represented by a basic set but by the intersection of Z_ and the interval Dom::Interval([1], infinity).

Superdomain

Dom::BaseDomain

Categories

Cat::Set

Examples

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

Methods

expand all

Mathematical Methods

contains(a, S)

Equivalently, is(a in S) may be used.

Conversion Methods

convert(d)

set2prop(S)

See Also

MuPAD Domains

Was this topic helpful?