thank you. I just installed Mathematica and at least, it can work abstractlly with non-declared variables and cross products! That is so simple that I can't believe maple can't. The only important thing is to allow symbolic operations (e.g. cross product) and apply noncommutative rules or other restrictions over the symbolic variables. Cheers. R.