Opened 2 years ago

Last modified 2 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) 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 2 years ago by rws

  • Dependencies set to #24171

comment:2 Changed 2 years ago by rws

  • Dependencies changed from #24171 to #24171, pynac-0.7.13

Accepting lists requires the function being a GinacFunction.

comment:3 Changed 2 years ago by rws

  • Branch set to u/rws/implement_formal_set_comprehension

comment:4 Changed 2 years ago by rws

  • Commit set to 9c77312e611f2d9fe5643e3e7a5bff51e511aa87
  • Dependencies changed from #24171, pynac-0.7.13 to #24171, #24262

New commits:

​669ea2224171: Formal set membership function
​34c977324171: make RealSet inherit from Set_generic
​af8271724171: remove RealSet import; SR set coercion doctests
​592ce8724171: Py3 fixes
​82b7c6fMerge branch 'u/rws/formal_set_membership_function' of git://trac.sagemath.org/sage into t/24176/implement_formal_set_comprehension
​ae2989524176: check set argument of element_of()
​9c7731224176: Implement formal Set comprehension

comment:5 Changed 2 years ago by rws

  • Branch changed from u/rws/implement_formal_set_comprehension to u/rws/24176

comment:6 Changed 2 years ago by rws

  • Authors set to Ralf Stephan
  • 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.