Improve simplifications in calculus on manifolds

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.31k stars 450 forks source link

Improve simplifications in calculus on manifolds #24151

Open 309a26b2-e8cb-4cec-ac13-3c5452d05479 opened 6 years ago

309a26b2-e8cb-4cec-ac13-3c5452d05479 commented 6 years ago

Depends on #22801

CC: @egourgoulhon @rll2021

Component: geometry

Keywords: manifolds calculus

Author: Marco Mancini

Branch/Commit: public/24151_simplifications_manifolds @ b875d7f

Issue created by migration from https://trac.sagemath.org/ticket/24151

309a26b2-e8cb-4cec-ac13-3c5452d05479 commented 6 years ago

Branch: public/24151_simplifications_manifolds

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 6 years ago

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

`d0cbda9`	`Merge branch 'u/rws/24006' of git://trac.sagemath.org/sage into public/22801-manifold-sympy`
`b1f6587`	`Allow for SymPy computation of metric determinant`
`5e2da17`	`Purged references to sage.manifolds.coord_func.CoordFunction`
`92e508b`	`Fix LaTeX display of continuous maps with SymPy expressions`
`31f56d2`	`Allow arithmetics of Components with SymPy numbers`
`426f98c`	`Another series of reviewer tweaks for SymPy calculus on manifolds`
`8ffa9c4`	`Improve documentation for SymPy calculus on manifolds`
`7a49a78`	`Some tweak of documention of tensor fields with SymPy`
`ce4acb4`	`Correct some typo in doc and renable trigonometric simplifications in SymPy calculus on manifolds`
`b875d7f`	`First try to speedup simplification in manifolds`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 6 years ago

Commit: b875d7f

egourgoulhon commented 6 years ago

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
-Simplifications in sympy are very slow and whe using "sympy" as calculus method (as introduced in #22801) some calculation time becomes prohibitive. 
+Simplifications in sympy are very slow and when using "sympy" as calculus method (as introduced in #22801) some calculation time becomes prohibitive. 
 Here we try to give a solution to this problem.

egourgoulhon commented 6 years ago

Changed keywords from none to manifolds calculus

dea4e0c2-f018-471f-92a6-9a4fde6d1a01 commented 6 years ago

Description changed:

--- 
+++ 
@@ -1,3 +1 @@
-Simplifications in sympy are very slow and when using "sympy" as calculus method (as introduced in #22801) some calculation time becomes prohibitive. 
-Here we try to give a solution to this problem. 
- 
+