Changes between Initial Version and Version 12 of Ticket #24176


Ignore:
Timestamp:
06/10/21 02:38:32 (11 months ago)
Author:
mkoeppe
Comment:

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 to sage-9.4
    • Property Commit changed from to 24789baf9f77ae75de9500085d196ad0a322aed5
  • 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.
     1In 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
     3This 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