Why does the following not return True?
Assuming[z ∈ Integers, IntegerQ[z]]
I tried this on a fresh session of Mathematica 10.0.2.0.
I understand that
IntegerQ does return False if it cannot determine whether the argument is an integer, but in the above case it should be possible to this.
I have a vague idea that this questions is similar to this one posted already, however the workaround of using
Simplify proposed there does not work in my case.
In case you want to have more details about my actual problem, I'm trying to define a function taking integer arguments. I want to define separate branches of the function, depending on whether the argument is even or odd. Now, using
OddQ as a constraint on the function definition runs into the same problem that I describe above.