[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: Non-commutative symbolic multiplication in Calc

**From**: |
Roland Winkler |

**Subject**: |
Re: Non-commutative symbolic multiplication in Calc |

**Date**: |
Tue, 06 Sep 2005 20:36:49 +0200 |

**User-agent**: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |

Neon Absentius <address@hidden> writes:
>*> I doubt that you will get what you want when you just remove the*
>*> assumption that multiplication is commutative.*
>
>* Depends on what do you mean by "just" by "remove" and by*
>* "assumption". When I say "suspend the assumption" I mean*
>* (obviously) to also suspend its consequences, for example there*
>* should be a "left" and a "right" division. It depends also on what I*
>* want, which (at the moment of writing at least) is rather modest, I*
>* will be happy if I am able to work on a free group (or a tensor*
>* algebra) and define relations as rewrite rules.*
>
>* Ideally the multiplication should not be assumed commutative (or the*
>* variables invertible) unless explicitly declared so.*
Emacs calc (the way I look at it) is designed to be a powerful,
advanced calculator. But it is not a computer algebra system which I
would use to address the kind of problem you are talking about..
For example. take a look at Maxima, http://www.ma.utexas.edu/maxima.html.
It's now under GPL, and it even has a nice emacs interface.
Roland