Opened 3 years ago
Last modified 3 years ago
#24176 new enhancement
Implement formal Set comprehension
Reported by: | rws | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.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, GitHub, GitLab) | 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, pynac-0.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, pynac-0.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
.