Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Check that variable is integer

Dear Sage,

I define the following variable

sage: a = var('a')
sage: assume(a, 'integer')

How do I check that is variable is an integer? The following doese not seem to work in sage 5.2.

sage: a in ZZ
sage: 2 in ZZ
sage: assumptions()
[a is integer]

How should I check the assumption that a is an integer?

Best, Noud