Metaticket: Connect Sage sets to sympy sets
API reference:
sympy uses properties for many things, so we probably cannot achieve direct API compatibility, put perhaps we can use the same vocabulary when it makes sense.
Existing conversions:
 from various sympy set types to Sage
SR
relation expressions: sage.interfaces.sympy.sympy_set_to_list
RealSet._sympy_condition_
 used internally in sage.functions.piecewise
In #31938 we provide an adapter (wrapper) class
that provides the sympy API. The _sympy_
method of a Sage set can return this wrapper.
Sets would provide a foundation for an improved symbolic assumptions facility, and for representing solution sets to symbolic equations etc.
Tickets:
 #20877 Metaticket 
RealSet
, piecewise functions, ...
 #31916
{Polyhedron, ConvexRationalPolyhedralCone}.{interior, relative_interior}
 #31919 ABC for convex sets
 #31931
_sympy_
methods for some parent classes
 #31938 Wrapper class for Sage sets as SymPy sets
 #24171 Formal set membership function
 #32015
_sympy_
methods for Set_object_binary
subclasses
 #32013 Initialize a Set from a ConvexSet_base instance
 #32089
ConditionSet
 #31947
Set_base.contains
, ConvexSet.contains
: Handle symbolic argument
 #24176 Implement formal Set comprehension
 #24142 Improve interface to SymPy? solvers
 #31935 solve: Add option
solution_set
See also:
 #31942
_sympy_
methods for matrices and vectors
 #31949 Add
_sympy_...
methods that construct Domain
s
 #31958 Metaticket: Use the SymPy? assumptions facility
Change History (22)
Description: 
modified (diff)

Description: 
modified (diff)

Summary: 
Connect Sage to sympy sets →
Connect Sage sets to sympy sets

Cc: 
Isuru Fernando added

Description: 
modified (diff)

Description: 
modified (diff)

Summary: 
Connect Sage sets to sympy sets →
Metaticket: Connect Sage sets to sympy sets

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage9.4 →
sage9.5

Milestone: 
sage9.5 →
sage9.6

Milestone: 
sage9.6 →
sage9.7

Milestone: 
sage9.7 →
sage9.8
