Opened 18 months ago

Last modified 3 months ago

#31926 new enhancement

Meta-ticket: Connect Sage sets to sympy sets

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-9.8
Component: geometry Keywords:
Cc: gh-kliem, Travis Scrimshaw, Emmanuel Charpentier, Isuru Fernando Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

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 Meta-ticket - 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 Domains
  • #31958 Meta-ticket: Use the SymPy? assumptions facility

Change History (22)

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

Description: modified (diff)

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

Description: modified (diff)
Summary: Connect Sage to sympy setsConnect Sage sets to sympy sets

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

Cc: Isuru Fernando added
Description: modified (diff)

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

Description: modified (diff)
Summary: Connect Sage sets to sympy setsMeta-ticket: Connect Sage sets to sympy sets

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

Description: modified (diff)

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

Description: modified (diff)

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

Description: modified (diff)

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

Description: modified (diff)

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

Description: modified (diff)

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

Description: modified (diff)

comment:11 Changed 18 months ago by Matthias Köppe

Description: modified (diff)

comment:12 Changed 18 months ago by Matthias Köppe

Description: modified (diff)

comment:13 Changed 18 months ago by Matthias Köppe

Description: modified (diff)

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

Description: modified (diff)

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

Description: modified (diff)

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

Description: modified (diff)

comment:17 Changed 17 months ago by Matthias Köppe

Description: modified (diff)

comment:18 Changed 17 months ago by Matthias Köppe

Description: modified (diff)

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

Milestone: sage-9.4sage-9.5

comment:20 Changed 12 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

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

Milestone: sage-9.6sage-9.7

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

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