>>583 こんなことしないといけないの？ なんかスパッと出してくれるとばかり思ってた。
しかも異なる数字というのも面倒くさい。
print に空のリストが出てくるし、これはどうとでもなるけど。

でも solve の結果の変数として、a,b,c と3つ書けるのは勉強になった。 有難う。

正の整数というのは、symbols で文字列を定義するときに、integer=True , positive=True とするからチェックはいらないんだけど。ここで different=True とかあれば助かったのにな。

--------

なんか似たようなのがあった、明日ゆっくり見てみる。
https://stackoverflow.com/questions/41313116/python-sympy-solve-equations-with-different-values

linsolve とset を使うみたいだな。

plug_in_for_vars = ...

これはどういう意味？ Ellipsis ? 略号？ 組混み常数？
Ellipsis
The same as the ellipsis literal "...". Special value used mostly in conjunction with extended slicing syntax for user-defined container data types.

もう寝る