# Documentation

### This is machine translation

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

# `solvelib`::`BasicSet`

Basic infinite sets

MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.

## 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`

## Axioms

`Ax::canonicalRep`

## 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)`