Opened 5 years ago

Last modified 5 years ago

#24290 new defect

Make simplifications in SymPy calculus on manifolds rely on SymPy only

Reported by: Eric Gourgoulhon Owned by:
Priority: major Milestone: sage-8.2
Component: geometry Keywords: manifolds calculus sympy
Cc: Marco Mancini, Richard L Lozes, Ralf Stephan Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #22801 Stopgaps:

Status badges

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 5 years ago by Eric Gourgoulhon

Dependencies: #22801

comment:2 Changed 5 years ago by Eric Gourgoulhon

Summary: Make simplifications in SymPy calculus on manifolds depend on SymPy onlyMake 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 5 years ago by Eric Gourgoulhon (previous) (diff)
Note: See TracTickets for help on using tickets.