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: |

### 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.