擅长:python、mysql、java
<p>将<code>s</code>设置为正值就足够了。实际上,我认为答案应该是<code>Abs(s)</code>,因为对于real <code>s</code>,<code>sqrt(s**2) = Abs(s)</code>(不过,我对此并不肯定)。在</p>
<p>在SymPy的gitmaster分支中,可以使用refine手动假设您想要的确切条件</p>
<pre><code>In [6]: refine(nfactor, Q.is_true(Abs(periodic_argument(1/polar_lift(s)**2, oo)) <= pi/2))
Out[6]:
___ ___
╲╱ 2 ⋅╲╱ π ⋅s
</code></pre>
<p>另一种方法是,如果你知道你的积分满足条件,但是你不能让它们简化(因为不幸的是,在SymPy中对这些条件的简化很差),你可以使用<code>integrate(conds='none')</code>,或者{<cd6>}(这不需要git版本来工作)。在</p>
^{pr2}$
<p>你也可以把它分片取出</p>
<pre><code>In [10]: nfactor.args[0][0]
Out[10]:
___ ___
╲╱ 2 ⋅╲╱ π ⋅s
</code></pre>
<p>当然,首选的方法是使用<code>refine</code>,但不幸的是,使用新假设系统的东西(使用<code>Q</code>的任何东西)仍在开发中,因此可能还不能工作,或者只能在SymPy开发版本中工作。在</p>