Opened 16 months ago

Last modified 3 months ago

#30075 new enhancement

Refactor assumptions

Reported by: mkoeppe Owned by:
Priority: minor Milestone: sage-9.5
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by mkoeppe)

sage.symbolic.expression accesses _assumptions from sage.symbolic.assumptions directly.

This should be restructured.

Also (see #30086), the maxima-specific code in sage.symbolic.assumptions should be moved into the maxima interface.

We will need to investigate how our various symbolic engines manage assumptions (including variable domains):

  • sympy
  • pynac
  • giac
  • maxima
  • ...?

See also:

  • #23138 Cache assumptions and only send to Maxima when needed
  • #31958 Meta-ticket: Use the SymPy assumptions facility

Change History (7)

comment:1 Changed 16 months ago by mkoeppe

  • Description modified (diff)

comment:2 Changed 14 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:3 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:4 Changed 3 months ago by mkoeppe

  • Description modified (diff)

comment:5 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:6 Changed 3 months ago by mkoeppe

  • Description modified (diff)

comment:7 Changed 3 months ago by mkoeppe

  • Description modified (diff)
Note: See TracTickets for help on using tickets.