Changes between Version 4 and Version 5 of Ticket #19162


Ignore:
Timestamp:
03/19/18 07:36:45 (3 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19162 – Description

    v4 v5  
    44 * `solve(rel)` in case of `satisfiable=Yes` returning the full solution set
    55 * `is(rel)` attempting simplification/proof, returning `True`/`False`, throwing `NotImplementedError`
    6  * `ex.is_zero(simplify=False)` (default) calling the fast `bool(ex==0)`
    7  * `ex.is_zero(simplify=True)` attempting simplification/proof
     6 * `ex.is_zero(simplify=False)` (default) calling the fast `bool(ex==0)` (#24992)
     7 * `ex.is_zero(simplify=True)` attempting simplification/proof (#24992)
    88 * `prove(rel)` showing more or less steps of simplification (which is out of reach for the moment)
    99