python - Can sympy determine if expression is positive? -

निम्न उदाहरण पर विचार करें:

  आयात sympy x = sympy.Symbol (x, real = सत्य) expr = sympy.sin (x) + 1  

क्या किसी भी तरह से तय कर सकता है कि expr> gt; = 0 हमेशा सही है?

< आप x के लिए असमानता हल करने का प्रयास कर सकते हैं:

  
 & gt; & gt; & gt; से sympy.solvers.inequalities आयात solve_univariate_inequality & gt; & gt; & gt; समाधान_निवाययेट_इनक्वालिटी (एक्सप्रोडिटी = 0, एक्स) और (-ओ एंड एलटी; एक्स, एक्स एंड एलटी; ओओ)  

तो यहां सिम्पी आपको बताता है कि असमानता किसी भी वास्तविक संख्या के लिए सत्य है। < / P>