Changes between Initial Version and Version 2 of Ticket #19162


Ignore:
Timestamp:
09/26/15 07:10:27 (6 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19162

    • Property Cc vdelecroix slelievre added
  • Ticket #19162 – Description

    initial v2  
    11We should provide a detailed interface for symbolic relations:
    2  * `bool(rel)` equivalent to `(not)(LHS-RHS).is_trivial_zero()` for ==,!= ; and an exception with maybe hint to the following for <,>,<=,>=
     2 * `bool(rel)` equivalent to `(not)(LHS-RHS).is_trivial_zero()` for ==,!= ; and for <, >, <=, >= the result follows alpha order of lhs and rhs
    33 * `satisfiable(rel)` returning `(Yes,example)/No/Undecidable/NotImplemented`
    4  * `truth(rel, (x,S1), (y,S2)...)` equivalent to `satisfiable(rel)` with quantifiers: for all `x,y...` in `S1,S2,...`
    54 * `solve(rel)` in case of `satisfiable=Yes` returning the full solution set
     5 * `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
    68 * `prove(rel)` showing more or less steps of simplification (which is out of reach for the moment)
    79