Kofi's profile - activity

I wrote

assume(n, 'integer')
assume(n>0)
assumptions()

Sage gave back

[n is integer, n > 0]

Yet the command

n.is_integer()

returned false. Also, the assumptions were not used in later computations. For example

gamma(-n)

did not return infinity.

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?