#18843: Differentiable manifolds: vector fields and tensor fields
-------------------------------------+-------------------------------------
Reporter: egourgoulhon | Owner: egourgoulhon
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-7.3
Component: geometry | Resolution:
Keywords: differentiable | Merged in:
manifold, tensor field, vector |
field, differential form |
Authors: Eric Gourgoulhon, | Reviewers: Travis Scrimshaw
Michal Bejger |
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/manifolds/diff_manif_tensor_fields|
3ab0af048e9ba51f09752a02f0d6544a53ffe15e
Dependencies: #15916, #18783, | Stopgaps:
#20770 |
-------------------------------------+-------------------------------------
Comment (by egourgoulhon):
Replying to [comment:37 tscrim]:
>
> We currently have no `differential` function, just its shorten `diff`,
which is the Sage equivalent for `derivative`. I am not opposed to having
an `xder` alias, just importing it into the global namespace (by default)
as it is not a "standard" short name. However, you could include the
import of `xder` as part of the examples/tutorials.
I agree that the exterior derivative is too specialized to have it in the
global namespace of any sage session. On the other side, end users working
with differential forms may feel cumbersome to perform some import in each
of their sessions. A solution could be to modify the top function
`Manifold` so that it imports `xder` into the global namespace. Is such a
thing possible/desirable?
--
Ticket URL: <https://trac.sagemath.org/ticket/18843#comment:38>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
