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: |

### 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

Dependencies: | → #22801 |
---|

### comment:2 Changed 5 years ago by

Summary: | Make simplifications in SymPy calculus on manifolds depend on SymPy only → 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 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).