Documentation

This is machine translation

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

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this 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?