Documentation Center

  • Trial Software
  • Product Updates

Description

Z_, or equivalently solvelib::BasicSet(Dom::Integer), represents the set of integers.

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 — Test whether some object is a member

contains(a, S)

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

Conversion Methods

See Also

MuPAD Domains

Was this topic helpful?