Changes between Version 3 and Version 4 of Ticket #19162


Ignore:
Timestamp:
03/15/18 07:31:04 (3 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19162

    • Property Milestone changed from sage-6.9 to sage-8.2
  • Ticket #19162 – Description

    v3 v4  
    1111 * #19040: to take satisfiability/truth functionality out of `ex.__nonzero__` into resp. member functions
    1212 * #19000: SMT-solver is needed for dedicated `satisfiable()`
     13
     14See also https://trac.sagemath.org/wiki/symbolics/nonzero