ecientemente, redescubrí un pequeño paquete de Roman Maeder que le dice a Mathematica que entreteja automáticamente funciones aritméticas y similares sobre expresiones como x == y. @Enlace al paquete de Maeder.

Primero, para demostrar, aquí hay un ejemplo dado por Maeder:

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

Ahora proceda a utilizar el comportamiento de subprocesos para resolver la siguiente ecuación para x 'a mano':

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

Ahora exponencial:

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

Y dividir entre 2:

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

Q: Desde una perspectiva de diseño, ¿alguien puede explicar por qué Mathematica está configurado para comportarse de esta manera por defecto? El enhebrado automático parece el tipo de comportamiento que un principiante de Mathematica esperaría, al menos para mí, tal vez alguien pueda ofrecer un ejemplo o dos que causen problemas con el sistema en su conjunto. (Y siéntase libre de señalar cualquier ignorancia matemática ...)