如何在Symphy中复制此Wolfram Solve示例

Question

我想用Symphy来重现用Wolfram语言得到的结果

使用Wolframcloud，这个表达式

Solve[m^2+m*n==500 && m>n,{m,n},PositiveIntegers]

给出了我想要的结果：

{{m->20,n->5}}

如何使用Symphy复制此内容

我试过了

import sympy as sp
m,n = sp.symbols('m n',integer=True)
sp.solve(m**2 + m*n - 500, m,n)

给

[(m, -m + 500/m)]

这是正确的，但不是特别有用

注意，这个问题的灵感来源于欧拉计划问题9

Answer 1

整数解应使用丢番图：

In [10]: m, n = symbols('m, n')                                                                                                                

In [11]: sols = diophantine(m**2 + m*n - 500, (m, n))                                                                                          

In [12]: sols                                                                                                                                  
Out[12]: 
{(-500, 499), (-250, 248), (-125, 121), (-100, 95), (-50, 40), (-25, 5), (-20, -5), (-10, -40), (-5, -95), (-4, -121), (-2, -248), (-1, -499)
, (1, 499), (2, 248), (4, 121), (5, 95), (10, 40), (20, 5), (25, -5), (50, -40), (100, -95), (125, -121), (250, -248), (500, -499)}

这给出了整数m，n的解。您可以筛选满足条件的解决方案：

In [13]: {(m, n) for m, n in sols if m > n and m > 0 and n > 0}                                                                                
Out[13]: {(20, 5)}