Opened 3 years ago
Last modified 3 years ago
#24176 new enhancement
Implement formal Set comprehension
Reported by:  rws  Owned by:  

Priority:  major  Milestone:  sage8.2 
Component:  symbolics  Keywords:  
Cc:  Merged in:  
Authors:  Ralf Stephan  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  u/rws/implement_formal_set_comprehension (Commits)  Commit:  9c77312e611f2d9fe5643e3e7a5bff51e511aa87 
Dependencies:  #24171, #24329  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.
Change History (6)
comment:1 Changed 3 years ago by
 Dependencies set to #24171
comment:2 Changed 3 years ago by
 Dependencies changed from #24171 to #24171, pynac0.7.13
comment:3 Changed 3 years ago by
 Branch set to u/rws/implement_formal_set_comprehension
comment:4 Changed 3 years ago by
 Commit set to 9c77312e611f2d9fe5643e3e7a5bff51e511aa87
 Dependencies changed from #24171, pynac0.7.13 to #24171, #24262
New commits:
669ea22  24171: Formal set membership function

34c9773  24171: make RealSet inherit from Set_generic

af82717  24171: remove RealSet import; SR set coercion doctests

592ce87  24171: Py3 fixes

82b7c6f  Merge branch 'u/rws/formal_set_membership_function' of git://trac.sagemath.org/sage into t/24176/implement_formal_set_comprehension

ae29895  24176: check set argument of element_of()

9c77312  24176: Implement formal Set comprehension

comment:5 Changed 3 years ago by
 Branch changed from u/rws/implement_formal_set_comprehension to u/rws/24176
comment:6 Changed 3 years ago by
 Branch changed from u/rws/24176 to u/rws/implement_formal_set_comprehension
 Dependencies changed from #24171, #24262 to #24171, #24329
Note: See
TracTickets for help on using
tickets.
Accepting lists requires the function being a
GinacFunction
.