(-1)**n is integer for integer n
abs((-1)**n) = 1 for integer n
Evaluate sin(pi*n/2) for integer n
Implement Add.is_rational method
(-1)**n is odd for integer n
Implement AskEvenHandler.Pow method
Evaluate (-1)**((-1)**n/2 -/+ S.Half) as (-1)**n or (-1)**(n + 1)
UnXFAIL Wester test_I3 and test_I4