Opened 4 years ago

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

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

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