search

allofphysicsgraph / graph

An attempt to use MathML and automatically check correctness using symbolic computation.
0 stars 1 forks source link

differential 2-form in computer algebra systems #2

Open marekyggdrasil opened 6 years ago

marekyggdrasil commented 6 years ago

Reference: link Visual video explanation: link

Basically we need d(x + dy) = dx, unfortunately, computer algebra systems (those I tried by now) do not allow to properly represent this. We need to resolve this problem.

List of available computer algebra systems to check: link

some extra info:

Mathematica officially assigns no symbolic meaning to infinitesimal change: link Sympy deprecated infinitesimal: https://github.com/sympy/sympy/issues/9675

marekyggdrasil commented 6 years ago

@msgoff found this

http://doc.sagemath.org/html/en/reference/manifolds/sage/manifolds/differentiable/diff_form.html