On 3/14/07, Andrzej Jaworski <[EMAIL PROTECTED]> wrote:
A thing where Haskell could potentially offer something that a regular CAS cannot is calculating a tensors with symbolic indices (without components) so that one could have components calculated for specific cases on the end of general calculation.
I have a mathematics/theoretical physics background so I ought to understand what you're asking for but it's not quite clear in my mind. Could you elaborate on this a bit? For example I can't quite tell if you're talking about something that would subsume CAS into Haskell or would be an alternative to CAS. And I'm not exactly sure what you mean by "without components" because despite plenty of theorems being provable in a basis-free manner, when you want to calculate things you usually end up needing components. Maybe you could actually give an example of something you'd want to calculate or even sketch a couple of lines from an interaction with the system you imagine. -- Dan _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell