Несколько раз я обнаружил, что у меня есть система, и мне нужно указать, что все переменные получают разные значения (т.е. не повторяются).
Обычно я делаю такие вещи:
k = {a, b, c, d, e, f, g};
Reduce[
a != 2 && f == a + b && g == c - d && f == (d + e)/2 && f == e + g &&
First[And @@@ {0 < # < 8 & /@ k}] &&
[email protected](Sequence @@ (Subsets[k, {2}] /. {x_, y_} -> (x - y))) != 0,
k, Integers]
Где последняя часть уравнения уменьшения
[email protected](Sequence @@ (Subsets[k, {2}] /. {x_, y_} -> (x - y))) != 0
запрашивает разные значения.
Есть ли лучшие способы сделать это? (Я имею в виду, что продукт не равен нулю, но указать I need all variables different
)