On 20 August 2016 at 08:14, Eric Gourgoulhon <egourgoul...@gmail.com> wrote: > Le jeudi 18 août 2016 07:59:15 UTC+2, Nils Bruin a écrit : >> >> The situation for topological manifolds is slightly different, because >> expressions there live in the context of a chart, where a specific >> correspondence between variable name and parameter position has been >> imposed. That makes it plausible that in the context of charts, one can get >> away with possible ambiguities a little easier. > > Yes indeed! Actually in the manifolds code, ExpressionNice is used to > display the expression of functions M --> K (M = the manifold, K = the base > field) in a specified coordinate chart. There is then no ambiguity regarding > the variables, which are the coordinates. > ... > This is why in SageMath 7.3 ExpressionNice lies in > src/sage/manifolds/utilities.py and not in src/sage/symbolic.
Actually I think this situation is quite common in all mathematics. It would be tedious indeed if all formulas in all papers were written out in full in sufficient detail to stand alone unambiguously. Every calculation is done in some context. I do not see the need for the output of a computer algebra systems to always be more complete than conventional mathematical usage. I think the user should be free to decide what level of detail they want in the output. So my proposal would be that the functionality of ExpressionNice be absorbed into sage/symbolic as an option along with several other optional formats for the derivative. Bill Page. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
