Opened 5 years ago

Last modified 5 years ago

#24352 new enhancement

Implement Expression.is_nonzero(); apply to ex.__nonzero__()

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

Status badges


Despite the difficulty of proving that a symbolic expression is zero it is obvious that a positive resp. negative expression is nonzero. Also no power with nonpositive exponent can be zero. This ticket exposes the nonzero logic that is already in Pynac to the user, and applies it as a shortcut in ex.__nonzero__().

Change History (1)

comment:1 Changed 5 years ago by Peleg Michaeli

Cc: Peleg Michaeli added
Note: See TracTickets for help on using tickets.