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


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.

Change History (0)

Note: See TracTickets for help on using tickets.