help-gnu-emacs
[Top][All Lists]
Advanced

[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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]