Opened 15 months ago

Last modified 11 months ago

#24352 new enhancement

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

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

Description

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 11 months ago by pelegm

  • Cc pelegm added
Note: See TracTickets for help on using tickets.