ConditionSet

[mkoeppe]

(from #24176).

We define a class ConditionSet for subsets of elements given by a logical "and" of finitely many predicates.

If the given predicates (condition) are symbolic, a ConditionSet can be converted to a SymPy ConditionSet; the _sympy_ method falls back to creating a SageSet wrapper otherwise.

As an application, we provide Chart and RealChart with a method codomain.

Depends on #32013
Depends on #32015

CC: @tscrim @egourgoulhon

Component: symbolics

Author: Matthias Koeppe

Branch/Commit: f135a05

Reviewer: Travis Scrimshaw

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

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Branch: u/mkoeppe/conditionset__conditionset_callable_symbolic_expression

[mkoeppe]

Last 10 new commits:

dbdfc06	InternalRealInterval, RealSet: Remove extra whitespace in latex, add documentation
7f56338	PiecewiseFunction: Adjust doctests for changed RealSet repr
8abdc8b	src/sage/functions/piecewise.py: Add coding header
5b0f85d	Merge #31880
e768463	Merge #31877
cb93c99	RealSet: Inherit from Set_base, Set_boolean_operators, Set_add_sub_operators
3a6f9bd	RealSet.symmetric_difference: New
08c52c2	Set_base._test_as_set_object: Skip _test_pickling
4f4a964	Merge #32013
2d5d4b9	sage.sets.condition_set: New

[mkoeppe]

Commit: 2d5d4b9

[sagetrac-git]

Changed commit from 2d5d4b9 to 8c2cce8

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

8c2cce8

ConditionSet: Complete basic implementation

[sagetrac-git]

Changed commit from 8c2cce8 to 1267737

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1267737

ConditionSet: Add example

[mkoeppe]

comment:6

I'm going to extend it to lists of several conditions

[mkoeppe]

Changed dependencies from #32013 to #31931, #32013

[sagetrac-git]

Changed commit from 1267737 to 44f7293

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

6e5cac6	sage.interfaces.sympy_wrapper, Sets.ParentMethods._sympy_: New
3cac256	sage.interfaces.sympy_wrapper: Add doctests
eef604e	SageSet: Finish docstrings; handle symbolic _contains
2baae58	Sets.ParentMethods._sympy_: Call sympy_init
153b3e5	Merge #31938
c06c965	sage.interfaces.sympy_wrapper.SageSet: Add another doctest
f535127	Merge #31938
32cdd5c	Merge #31877
36e742d	Merge #31931
44f7293	ConditionSet: Accept several predicates

[sagetrac-git]

Changed commit from 44f7293 to 720bed2

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

4e604ec	RealSet.interval: New
48ac8e9	Chart._check_restrictions: Simplify code by using any/all
720bed2	{Chart,RealChart}.codomain: New

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

200b1ef	Merge tag '9.4.beta4' into t/32013/initialize_a_set_from_a_convexset_base_instance
1c13f2d	Merge #32013

[sagetrac-git]

Changed commit from 720bed2 to 1c13f2d

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

b31b2c7

ConditionSet: Support generator notation, add examples

[sagetrac-git]

Changed commit from 1c13f2d to b31b2c7

[mkoeppe]

Changed dependencies from #31931, #32013 to #31931, #32013, #32015

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

91b0b16	Merge #32013
789dc05	Merge #31931
3dd50e4	sage.sets.set.Set_object: Add `_sympy_` methods to subclasses
7f35aee	Merge #32013
bb67e11	Merge #32015

[sagetrac-git]

Changed commit from b31b2c7 to bb67e11

[sagetrac-git]

Changed commit from bb67e11 to eb975f3

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

eb975f3

ConditionSet: Remove unnecessary subclass, add examples

[mkoeppe]

comment:38

Thanks!

[vbraun]

comment:39

[docpdf] Underfull \hbox (badness 10000) in paragraph at lines 5889--5891
[docpdf] \T1/txtt/m/sl/10 set.Set_boolean_operators\T1/qtm/m/n/10 , \T1/txtt/m/sl/10 sag
[docpdf] e.sets.set.Set_add_sub_operators\T1/qtm/m/n/10 , [][]\T1/txtt/m/n/10 sage.struc
[docpdf] ture.
[docpdf] ! Missing $ inserted.
[docpdf] <inserted text> 
[docpdf]                 $
[docpdf] l.5923 ...us{}even at 0x...\PYGZgt{}(x) \PYGZcb{}}
[docpdf]                                                   
[docpdf] ? 
[docpdf] ! Emergency stop.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

daeb91e	src/sage/sets/set.py: Fix docstring markup
2cf2199	Merge #32015
1eb270a	src/sage/docs/conf.py: Add more \ensuremath to \DeclareUnicodeCharacter

[sagetrac-git]

Changed commit from 69d045a to 1eb270a

[tscrim]

comment:42

LGTM.

[mkoeppe]

comment:43

Thanks.

[sagetrac-git]

Changed commit from 1eb270a to 141ecde

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:

2682469	src/sage/interfaces/sympy_wrapper.py: Use Family, not Set, in doctests to make sure that the SageSet wrapper is actually used
753babb	Set_object_enumerated._sympy_: Translate empty sets to EmptySet
141ecde	Merge #32015

[sagetrac-git]

Changed commit from 141ecde to f135a05

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. Last 10 new commits:

f85e710	Chart: in the description of the argument coord_restrictions, replace all instances of 'restrictions' by 'coord_restrictions'
80f6195	Chart, RealChart: In class docstring, order arguments as they appear in __classcall__/__init__
a39e6fc	DiffChart, RealDiffChart: In class docstring, order arguments as they appear in __classcall__/__init__; add description of argument coord_restrictions
cdf20b0	TopologicalManifold.chart: Add description of argument coord_restrictions
741fd2e	TopologicalManifold.chart: Add an example of using coord_restrictions
bf62543	Merge branch 't/32089/conditionset__conditionset_callable_symbolic_expression' into t/32009/eliminate_direct_use_of_the_chart__domain_attribute
141ccb5	Merge #32009
c89c697	Merge #32102
451f5cf	Sets.ParentMethods: Update doctest
f135a05	Merge #32015

[vbraun]

Changed branch from u/mkoeppe/conditionset__conditionset_callable_symbolic_expression to f135a05