но я заново открыл небольшой пакет Романа Мейдера, который говорит Mathematica, что нужно автоматически связывать арифметические и подобные функции с такими выражениями, как x == y.Ссылка на пакет Мейдера.

Во-первых, чтобы продемонстрировать, вот пример, данный Maeder:

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

Теперь перейдите к использованию потокового поведения, чтобы решить следующее уравнение для x «вручную»:

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

Теперь возводим в степень:

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

И разделить на 2:

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

Q:С точки зрения дизайна, кто-то может объяснить, почему Mathematica настроена так по умолчанию? Автоматическое создание потоков похоже на тот тип поведения, которого ожидает новичок Mathematica - по крайней мере для меня - возможно, кто-то может предложить один или два примера, которые могут вызвать проблемы с системой в целом. (И не стесняйтесь указывать на любое невежество математики ...)