Opened 3 years ago

Last modified 3 years ago

#24290 new defect

Make simplifications in SymPy calculus on manifolds rely on SymPy only

Reported by: egourgoulhon Owned by:
Priority: major Milestone: sage-8.2
Component: geometry Keywords: manifolds calculus sympy
Cc: mmancini, rllozes, rws Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #22801 Stopgaps:

Description

#22801 introduced SymPy as an optional engine for symbolic calculus on manifolds. However, not all simplifications are performed by SymPy; in particular those depending on assumptions are still treated via Maxima.

Change History (2)

comment:1 Changed 3 years ago by egourgoulhon

  • Dependencies set to #22801

comment:2 Changed 3 years ago by egourgoulhon

  • Summary changed from Make simplifications in SymPy calculus on manifolds depend on SymPy only to Make simplifications in SymPy calculus on manifolds rely on SymPy only

Basically, one needs to pass Sage's assumptions() to SymPy and use them via refine (cf. ​http://docs.sympy.org/latest/modules/assumptions/refine.html) or maybe via the context manager assuming (cf. ​http://docs.sympy.org/latest/modules/assumptions/assume.html).

Last edited 3 years ago by egourgoulhon (previous) (diff)
Note: See TracTickets for help on using tickets.