Recentemente, redescobri um pequeno pacote de Roman Maeder que informa ao Mathematica para encadear automaticamente funções aritméticas e similares em expressões como x == y.Link para o pacote do Maeder.

Primeiro, para demonstrar, aqui está um exemplo dado por Maeder:

In[1]:= Needs["EqualThread`"]

Agora, use o comportamento de encadeamento para resolver a seguinte equação para x 'à mão':

In[7]:= a == b Log[2 x]
In[8]:= %/b
Out[8]:= a/b == Log[2 x]

Now exponentiate:

In[9]:= Exp[%]
Out[9]= E^(a/b) == 2 x

E divida por 2:

In[10]:= %/2
Out[10]= (E^(a/b))/2 == x

Q:e uma perspectiva de design, alguém pode explicar por que o Mathematica está definido para se comportar dessa maneira por padrã A segmentação automática parece ser o tipo de comportamento que um iniciante do Mathematica esperaria --- para mim, pelo menos --- talvez alguém possa oferecer um exemplo ou dois que causariam problemas no sistema como um todo. (E fique à vontade para apontar qualquer ignorância mathematica ...)