Even assumption / variable domain / query

[rwst]

The even variable domain as well as the general flag is supported by Maxima, SymPy, and Pynac. What is needed in Sage is to promote such assumptions to Pynac and allow the variable domain keyword. Finally Expression.is_even() should be provided.

Dependencies: pynac-0.7.15

Component: symbolics

Issue created by migration from https://trac.sagemath.org/ticket/24351

[rwst]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-The even variable domain as well as the general flag is supported by Maxima, SymPy, and Pynac. What is needed in Sage is to promote such assumptions to Pynac and allow the variable domain keyword.
+The even variable domain as well as the general flag is supported by Maxima, SymPy, and Pynac. What is needed in Sage is to promote such assumptions to Pynac and allow the variable domain keyword. Finally `Expression.is_even()` should be provided.

[rwst]

Dependencies: pynac-0.7.15