jumping from a=x+y to a(x,y):=x+y

Janek Kozicki said:     (by the date of Tue, 2 Mar 2010 22:40:12 +0100)

> aa:a=x+y;
> aaa(x,y):=rhs(aa);

correction, I see that following works:

aaa(x,y):=ev(rhs(aa),nouns);

But perhaps still, you have some hints about my general question?

What are the best ways to deal with potential names conflicts?
Because all those a,aa,aaa,aaaa are basically the same thing, only of
a different type.


-- 
Janek Kozicki                                                         |