Есть команды типа
Trace,
TraceScan и т.п., но они не дают того, что надо.
Есть также команда
TexForm, которая переводит выражение (с некоторыми ограничениями) в формат TeX. Например, знак умножения
* эта команда заменяет на пробел. Что логично для буквенных выражений. Вместо
//TeXForm можно переделать выражение в строку с помощью
//ToString.
Такое
Код:
a := 5; b := a^2; c := a^3;
Reap[TraceScan[Sow, s = b*c]][[2, 1]] /. HoldForm -> Defer
после выделения результат и нажатия
Ctrl+Shift+I дает
Код:
{s = b*c, Set, b*c, Times, b, a^2, Power, a, 5, 2, 5^2, 25, c, a^3, Power, a, 5, 3, 5^3, 125, 5*125, 3125, s = 3125, 3125}
Откуда, в приципе, можно что-то получить, удаляя лишнее и добавляя знаки равенства.