|
From: Michel T. <ta...@lp...> - 2015-12-14 22:16:07
|
Le 14/12/2015 23:06, Robert Dodier a écrit : > I'm pushing the idea that pre/post super/subscripts are properties of > indices. One would write x[i, j, k, l] (or whatever number of indices) > and separately declare that the first index is a presuperscript, the > second whatever, etc. That way (1) the computational properties are > unchanges, and (2) any display system which doesn't know about different > kinds of indices displays it as it does now. These both seem like a big > win to me. What do you think? This seems like a very nice idea. Moreover this would open the way to an automatic check that indices are properly contracted and summed, e.g. in general relativity computations. -- Michel Talon |