, Такие случаи случаются иногда, но довольно редко, и если они случаются, убедитесь, что есть веская причина сохранить существующий дизайн и перейти к ручному переупорядочению правил.
нтересно, если дано несколько правил подстановки, как mma определяет, что применять в первую очередь в случае коллизии. Примером является:
x^3 + x^2*s + x^3*s^2 + s x /. {x -> 0, x^_?OddQ -> 2}
Благодарю.