Ask Your Question

Revision history [back]

How to convince Sage that integer^(positive integer) is an integer?

As title. If p and k are integers, and k is positive, then p^k should be an integer. Why is Sage telling me otherwise, and how can I convince it of the truth?

sage: var('p,k')

(p, k)

sage: assume(p,'integer')

sage: assume(k,'integer')

sage: assume(k>0)

sage: alpha = p^k

sage: alpha.is_integer()

False