# `Type`::`PosInt`

Type and property representing positive integers

MuPAD® notebooks will be removed in a future release. Use MATLAB® live scripts instead.

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

## Syntax

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

## Description

`Type::PosInt` represents positive integers. `Type::PosInt` is a property, too, which can be used in an `assume` call.

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

`testtype` only performs a syntactical test identifying MuPAD® objects of type `DOM_INT` and checks, if `bool(obj > 0)` holds.

The call `assume(x, Type::PosInt)` marks the identifier `x` as a positive integer number.

The call `is(ex, Type::PosInt)` derives, whether the expression `ex` is a positive 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::PosInt`:

```testtype(2, Type::PosInt), testtype(3, Type::PosInt), testtype(55, Type::PosInt), testtype(1, Type::PosInt), testtype(111, Type::PosInt)```

### Example 2

Assume an identifier is positive integer:

```assume(x, Type::PosInt): is(x, Type::PosInt)```

Also positive integers are integers:

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

However, integers can be positive or not:

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

`delete x:`

## Parameters

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