# Assume that n is positive integer

It seems I cannot make Sage assume that the variable n is a positive integer.

```
var('n')
assume(n, 'integer')
assume(n>0)
```

In this code, the "n>0" overwrites the assumption that n is an integer. The command

```
n.is_integer()
```

returns false. How do I do this?

It is pretty weird. If you type

The command

returns

and

returns false. But if you assume the other way around

then

returns true. I guess it's a sort of bug