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 only → 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 5 years ago by Eric Gourgoulhon (previous) (diff)
Note: See TracTickets for help on using tickets.