Changes between Initial Version and Version 12 of Ticket #24176
- Timestamp:
- 06/10/21 02:38:32 (11 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #24176
-
Property
Authors
changed from
to
Ralf Stephan
- Property Cc tscrim added
-
Property
Dependencies
changed from
to
#24171
-
Property
Branch
changed from
to
u/mkoeppe/implement_formal_set_comprehension
-
Property
Milestone
changed from
sage-8.2
tosage-9.4
-
Property
Commit
changed from
to
24789baf9f77ae75de9500085d196ad0a322aed5
-
Property
Authors
changed from
-
Ticket #24176 – Description
initial v12 1 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. 1 In order to be able to express solution sets from !SymPy's `solveset` a set comprehension constructor as equivalent to !SymPy's `imageset` / `ConditionSet` 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. 2 3 This set would convert to a `SymPy` [[https://docs.sympy.org/latest/modules/sets.html#sympy.sets.fancysets.ImageSet|ImageSet]] or [[https://docs.sympy.org/latest/modules/sets.html#conditionset|ConditionSet]] 4