Opened 5 years ago
Last modified 8 weeks ago
#24176 closed enhancement
Implement formal Set comprehension — at Initial Version
| Reported by: | rws | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
| Component: | symbolics | Keywords: | |
| Cc: | tscrim, mantepse | Merged in: | |
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description
In order to be able to express solution sets from SymPy's solveset a set comprehension constructor as equivalent to SymPy's imageset is needed. As the arguments are symbolic the most natural way to do this would be a formal symbolic function named like set_of_all taking a term argument and a list argument containing element_of(...) function expressions.
Note: See
TracTickets for help on using
tickets.
