Opened 16 months ago

Last modified 4 weeks ago

#31947 new enhancement

Set_base.contains, ConvexSet.contains: Handle symbolic argument

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-9.8
Component: geometry Keywords:
Cc: gh-kliem, Travis Scrimshaw Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: u/mkoeppe/set_base_contains__convexset_contains__handle_symbolic_argument (Commits, GitHub, GitLab) Commit: a5459f4257c8e114626d1bae3f6322819c978791
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

... like #31914 for RealSet.

Using this method, we can then implement ConvexSet.as_condition_set or as_relational (see #24176), which converts to SymPy's ConditionSet.

Also, any Set_base should convert to SR, generalizing the code from #24171.

Change History (11)

comment:1 Changed 16 months ago by Matthias Köppe

Dependencies: #31919

comment:2 Changed 16 months ago by Matthias Köppe

Description: modified (diff)

comment:3 Changed 16 months ago by Matthias Köppe

Dependencies: #31919#31919, #24171

comment:4 Changed 16 months ago by Matthias Köppe

Dependencies: #31919, #24171#31919, #24171, #31959

comment:5 Changed 15 months ago by Matthias Köppe

Description: modified (diff)
Summary: ConvexSet.contains: Handle symbolic argumentSet_base.contains, ConvexSet.contains: Handle symbolic argument

comment:6 Changed 15 months ago by Matthias Köppe

Branch: u/mkoeppe/set_base_contains__convexset_contains__handle_symbolic_argument

comment:7 Changed 15 months ago by Matthias Köppe

Commit: a5459f4257c8e114626d1bae3f6322819c978791
Dependencies: #31919, #24171, #31959

New commits:

a5459f4SymbolicRing: Allow converting all Set_base instances to SR

comment:8 Changed 14 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:9 Changed 10 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:10 Changed 6 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:11 Changed 4 weeks ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.