Opened 5 years ago

Last modified 8 weeks ago

#24176 closed enhancement

Implement formal Set comprehension — at Version 12

Reported by: rws Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: symbolics Keywords:
Cc: tscrim, mantepse Merged in:
Authors: Ralf Stephan Reviewers:
Report Upstream: N/A Work issues:
Branch: u/mkoeppe/implement_formal_set_comprehension (Commits, GitHub, GitLab) Commit: 24789baf9f77ae75de9500085d196ad0a322aed5
Dependencies: #24171 Stopgaps:

Status badges

Description (last modified by mkoeppe)

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.

This set would convert to a SymPy ImageSet or ConditionSet

Change History (12)

comment:1 Changed 5 years ago by rws

  • Dependencies set to #24171

comment:2 Changed 5 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 5 years ago by rws

  • Branch set to u/rws/implement_formal_set_comprehension

comment:4 Changed 5 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 5 years ago by rws

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

comment:6 Changed 5 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

comment:7 Changed 13 months ago by mkoeppe

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

comment:8 Changed 13 months ago by mkoeppe

  • Commit changed from 9c77312e611f2d9fe5643e3e7a5bff51e511aa87 to ec393090edb11c220c0e0e39529445015a00623d
  • Dependencies changed from #24171, #24329 to #24171
  • Milestone changed from sage-8.2 to sage-9.4

Rebased on top of rebased #24171


New commits:

72565f224171: Formal set membership function
71bbf3824171: Formal set membership function
6811a7624171: make RealSet inherit from Set_generic
0a66f7824171: remove RealSet import; SR set coercion doctests
e35349a24171: Py3 fixes
26ef67d24176: check set argument of element_of()
ec3930924176: Implement formal Set comprehension

comment:9 Changed 13 months ago by git

  • Commit changed from ec393090edb11c220c0e0e39529445015a00623d to 24789baf9f77ae75de9500085d196ad0a322aed5

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:

51c8152Merge branch 't/31877/refine_category_of_realset' into t/24171/set-membership-rebased
5e623bbRealSet.is_finite: Remove, inherited from category
7d19916Do not use QQ.completion(oo,oo) - not implemented
9b4e22424176: check set argument of element_of()
5310e04Function_elementof: Remove use of is_Set
46d979524171: Formal set membership function
6995d1e24171: make RealSet inherit from Set_generic
a41c5fc24171: remove RealSet import; SR set coercion doctests
2a9c49a24171: Py3 fixes
24789ba24176: Implement formal Set comprehension

comment:10 Changed 13 months ago by mkoeppe

Rebased on top of updated #24171, which cherry-picked 1 commit from here.

Not sure about the changes on this ticket marked 24171. They are either from a newer or older version of 24171.

comment:11 Changed 13 months ago by mkoeppe

  • Cc tscrim added

The fix to RealSet.__bool__ in 6995d1e/2a9c49a can go to #31941 (Make empty RealSet false).

Unclear to me whether 6995d1e (make RealSet inherit from Set_generic) should be done

comment:12 Changed 13 months ago by mkoeppe

  • Description modified (diff)
Note: See TracTickets for help on using tickets.