[Mathematica 8.0] Странное вычисление

[arseniiv]

Вот я пишу:

Unprotect[NonCommutativeMultiply];
NonCommutativeMultiply[as___, x_?NumericQ, bs___] := g[x, {as}, {bs}]
Protect[NonCommutativeMultiply];

и потом предлагаю вычислить хотя бы просто a ** b — а в результате это вычисляется и вычисляется в себя бесконечно, пока позволено. Не пойму поведение.

Я убрал все другие определения и перезапустил kernel, если что.

[Toucan]

Тема перемещена из форума «Программирование» в форум «Околонаучный софт»

[arseniiv]

Если убрать атрибут Flat, чудеса прекращаются. Но всё равно непонятно, как он с этим связан.

[apex]

Unprotect[NonCommutativeMultiply];
NonCommutativeMultiply[as__, x_?NumericQ, bs___] := g[x, {as}, {bs}]
NonCommutativeMultiply[as___, x_?NumericQ, bs__] := g[x, {as}, {bs}]
Protect[NonCommutativeMultiply];

Иначе см.

Trace[a**b]

[arseniiv]

Спасибо, если это работает, хотя я уже просто снял все атрибуты с NonCommutativeMultiply и написал всё, чем они были полезны, через шаблоны.