Opened 4 years ago

Last modified 4 years 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:

Status badges

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 4 years ago by rws

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

comment:2 Changed 4 years ago by rws

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