Opened 4 years ago
Last modified 4 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 4 years ago by
- Dependencies set to #22801
comment:2 Changed 4 years ago by
- 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
Note: See
TracTickets for help on using
tickets.
Basically, one needs to pass Sage's
assumptions()
to SymPy and use them viarefine
(cf. http://docs.sympy.org/latest/modules/assumptions/refine.html) or maybe via the context managerassuming
(cf. http://docs.sympy.org/latest/modules/assumptions/assume.html).