Opened 7 years ago
#19670 new defect
Consistency and redundancy of verbal assumptions
| Reported by: | Ralf Stephan | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | sage-6.10 |
| Component: | symbolics | Keywords: | |
| Cc: | Merged in: | ||
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description
Maxima's assumption framework (still used by Sage's GenericDeclaration) has only rudimentary consistency and no redundancy checking.
sage: assume(x>0) sage: assume(x,'real') sage: assume(x,'imaginary') sage: assume(x,'complex') sage: assumptions() [x > 0, x is real, x is imaginary, x is complex]
This ticket should wrestle the GenericDeclaration consistency checking (not the same with relations!) from Maxima, implementing it directly in Python, only informing Maxima about any such assumption. And by the way add the positive and negative keywords.
Note: See
TracTickets for help on using
tickets.
