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.

Change History (0)

Note: See TracTickets for help on using tickets.