私が使用する場合
diophantine(2*x+3*y-5*z-77)
この結果を受け取ります。
{(t_0, -9*t_0 - 5*t_1 + 154, -5*t_0 - 3*t_1 + 77)}
ここまでは順調です。ただし、場合によっては、x、y、および z を (たとえば) 非負になるように制約したい場合があります。このようなアプローチを使用すると<
reduce_inequalities([0<=t_0, 0<=-9*t_0 - 5*t_1 + 154, 0<=-5*t_0 - 3*t_1 + 77],[t_0, t_1])
私は得る：
NotImplementedError:
inequality has more than one symbol of interest
sympy、sage、prolog、haskell、またはその他の無料で入手できる製品には、このようにして発生する線形不等式のシステムを解決する手段がありますか。
ありがとうございました！