我正在使用Sympy重现Mathematica结果,而我是后者的新手,所以我可能做错了.然而,我注意到一些使用Mathematica花了一分钟时间的东西只是花了很长时间(阅读：我在一小时前开始它之后没有完成)同情.这适用于Simplify()和solve().我做错了什么,或者情况确实如此？

我会附上我的solve()案例：

import sympy as sp
from sympy import init_printing
init_printing()

p, r, c, p, y, Lambda = sp.symbols('p r c p y Lambda')

F = sp.Symbol('F')
eta1 = lambda p: 1/(1-sp.exp(-Lambda) * sp.exp(-Lambda)*(sp.exp(Lambda) - 1 - Lambda))
eta2 = lambda p: 1/(1-sp.exp(-Lambda)) * sp.exp(-Lambda)/(1-F) * (sp.exp(Lambda*(1- F)) - 1 - Lambda*(1-F))

eta = lambda p: 1 - eta1(p) + eta2(p)
etaOfR = sp.limit(eta(p), F,  1)

S = lambda p: eta(p)*y/p*(p-c)
SOfR = etaOfR*y/r*(r-c)
sp.solve(S(p)-SOfR, F)

相应的Mathematica代码：

ClearAll[r, p, lambda, a, A, c, eta, f, y, constant1, constant2, eta, \
etaOfR]
constant1[lambda_] := Exp[-lambda]/(1 - Exp[-lambda]);
constant2[lambda_] := constant1[lambda]*(Exp[lambda] - 1 - lambda);
eta[lambda_, f_] := 
  1 - constant2[lambda] + 
   constant1[lambda]*(Exp[lambda*(1 - f)] - 1 - lambda*(1 - f)) ;
etaOfR[lambda_] := Limit[eta[lambda, f], f -> 1];
expression1[lambda_, f_] := 
  y/p (p - c) eta[lambda, f] == y/r (r - c) etaOfR[lambda];

Solve[expression1[lambda, f], f] // FullSimplify

输出：

{{f -> (-(1 + lambda) p r + 
    c (lambda p + r) + (c - 
       p) r ProductLog[-E^(((-c lambda p + (c (-1 + lambda) + 
           p) r)/((c - p) r)))])/(lambda (c - p) r)}}

解决方法:

正确的方法是：

from sympy import *
init_printing()
p, r, c, p, y, lam, f = symbols('p r c p y lambda f')
constant1 = exp(-lam) / (1 - exp(-lam))
constant2 = constant1 * (exp(lam) -  1 - lam)
eta = 1 - constant2 + constant1 * (exp(lam * (1-f)) - 1 - lam * (1 - f))
etaOfR = limit(eta, f,  1)
expression1 = Eq(y / p * (p - c) * eta, 
             y / r * (r - c) * etaOfR)
solve(expression1, f)

你也可以在这里查看笔记本：
http://nbviewer.ipython.org/gist/jankoslavic/0ad7d5c2731d425dabb3

结果与Mathematica的结果相同(见最后一行),Sympy的表现具有可比性.