Opened 15 months ago

Last modified 15 months ago

#24351 new enhancement

Even assumption / variable domain / query

Reported by: rws Owned by:
Priority: major Milestone: sage-8.2
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: pynac-0.7.15 Stopgaps:

Description (last modified by rws)

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.

Change History (2)

comment:1 Changed 15 months ago by rws

  • Description modified (diff)
  • Summary changed from Even assumption and variable domain to Even assumption / variable domain / query

comment:2 Changed 15 months ago by rws

  • Dependencies set to pynac-0.7.15
Note: See TracTickets for help on using tickets.