Set_base.contains, ConvexSet.contains: Handle symbolic argument

[mkoeppe]

... 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.

CC: @kliem @tscrim

Component: geometry

Branch/Commit: u/mkoeppe/set_base_contains__convexset_contains__handle_symbolic_argument @ a5459f4

Issue created by migration from https://trac.sagemath.org/ticket/31947

[mkoeppe]

Dependencies: #31919

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,6 +1,6 @@
 ... like #31914 for `RealSet`.
 
-Using this method, we can then implement `ConvexSet.as_condition_set` (see #24176), which converts to SymPy's [ConditionSet](https://docs.sympy.org/latest/modules/sets.html#conditionset).
+Using this method, we can then implement `ConvexSet.as_condition_set` or `as_relational` (see #24176), which converts to SymPy's [ConditionSet](https://docs.sympy.org/latest/modules/sets.html#conditionset).
 
 
 

[mkoeppe]

Changed dependencies from #31919 to #31919, #24171

[mkoeppe]

Changed dependencies from #31919, #24171 to #31919, #24171, #31959

[mkoeppe]

Description changed:

--- 
+++ 
@@ -2,5 +2,6 @@
 
 Using this method, we can then implement `ConvexSet.as_condition_set` or `as_relational` (see #24176), which converts to SymPy's [ConditionSet](https://docs.sympy.org/latest/modules/sets.html#conditionset).
 
+Also, any `Set_base` should convert to `SR`, generalizing the code from #24171.
 
 

[mkoeppe]

Branch: u/mkoeppe/set_base_contains__convexset_contains__handle_symbolic_argument

[mkoeppe]

Changed dependencies from #31919, #24171, #31959 to none

[mkoeppe]

New commits:

a5459f4

SymbolicRing: Allow converting all Set_base instances to SR

[mkoeppe]

Commit: a5459f4