Type::Integer

Type and property representing integers

Use only in the MuPAD Notebook Interface.

This functionality does not run in MATLAB.

Syntax

```testtype(`obj`, `Type::Integer`)
assume(`x`, `Type::Integer`)
is(`ex`, `Type::Integer`)
```

Description

`Type::Integer` represents integers. This type can also be used as a property to mark identifiers as integers.

The call `testtype(obj, Type::Integer)` checks, whether `obj` is an integer number and returns `TRUE`, if it holds, otherwise `FALSE`.

`testtype` only performs a syntactical test identifying MuPAD® objects of type `DOM_INT`.

The call `assume(x, Type::Integer)` marks the identifier `x` as an integer number.

The call `is(ex, Type::Integer)` derives, whether the expression `ex` is an integer number (or this property can be derived).

This type represents a property that can be used in `assume` and `is`.

Examples

Example 1

The following numbers are of type `Type::Integer`:

```testtype(0, Type::Integer), testtype(55, Type::Integer), testtype(-111, Type::Integer)```

Example 2

We use this type as a property:

`assume(x, Type::Integer):`

The following calls to `is` derive the properties of a composite expression from the properties of its indeterminates:

`is(3*x, Type::Real), is(2*x, Type::Even), is(x/2, Type::Integer)`

`assume(y, Type::Integer): is(x + y^2, Type::Integer)`

`unassume(x), unassume(y):`

Parameters

 `obj` Any MuPAD object `x` An identifier or a mathematical expression containing identifiers `ex`