#3 Ability to Specify Operator Precedence per Domain.

[Martin Baker]

In FriCAS operators are very heavily overloaded. That is an operator, such as '/\', can be defined in many domains. However, although an operator can be used for many things, precedence for a given operator is globally set.

This is specifically a problem in Clifford algebra since the same operators are used for logic.

FriCAS allows me to type in an expression like A/\B*C/\D and it gets the result wrong:

(A/\B)*(C/\D)  -- is what I expected
((A/\B)*C)/\D  -- is what I got

This is a serous problem for Clifford algebra which severely limits its usefulness.

I did ask about infix precedence here:
http://groups.google.com/group/fricas-devel/browse_thread/thread/6fdbe45592659961?hl=en#

It would help, as a first step if this could be fixed in the output formatter then, if the user gets it wrong, at least they will know it from the FriCAS output.