Opened 4 years ago
Last modified 19 months ago
#19162 new enhancement
symbolic relations metaticket
Reported by: | rws | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.2 |
Component: | symbolics | Keywords: | |
Cc: | vdelecroix, slelievre | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
We should provide a detailed interface for symbolic relations:
bool(rel)
equivalent to(not)(LHS-RHS).is_trivial_zero()
for ==,!= ; and for <, >, <=, >= the result follows alpha order of lhs and rhssatisfiable(rel)
returning(Yes,example)/No/Undecidable/NotImplemented
solve(rel)
in case ofsatisfiable=Yes
returning the full solution setis(rel)
attempting simplification/proof, returningTrue
/False
, throwingNotImplementedError
ex.is_zero(simplify=False)
(default) calling the fastbool(ex==0)
(#24992)ex.is_zero(simplify=True)
attempting simplification/proof (#24992)prove(rel)
showing more or less steps of simplification (which is out of reach for the moment)
Tickets:
Change History (5)
comment:1 Changed 4 years ago by
- Cc vdelecroix slelievre added
comment:2 Changed 4 years ago by
- Description modified (diff)
comment:3 Changed 4 years ago by
- Description modified (diff)
comment:4 Changed 19 months ago by
- Description modified (diff)
- Milestone changed from sage-6.9 to sage-8.2
comment:5 Changed 19 months ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.