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