E給定如下所示的有理表達(dá)式，我希望使用 Sympy 將其簡(jiǎn)化為類似的東西F（在下面的第二個(gè) Python 代碼塊中定義）：import sympy as spa, b, c, d, n, t, A, B, C = sp.symbols('a, b, c, d, n, t, A, B, C', real = True)E = n/(c-b) * ( B - (c-b)/(c-a)*A - (b-a)/(c-a)*B ) * (c-t)/(c-b) + n/(c-b) * ( (d-c)/(d-b)*B + (c-b)/(d-b)*C - B ) * (t-b)/(c-b)print(sp.pretty( E ))print(sp.pretty( E.simplify() ))這打印           ?     B?(-c + d)   C?(-b + c)?             ?  A?(-b + c)   B?(-a + b)    ?n?(-b + t)??-B + ────────── + ──────────?   n?(c - t)??- ────────── - ────────── + B?           ?       -b + d       -b + d  ?             ?    -a + c       -a + c      ?───────────────────────────────────────── + ─────────────────────────────────────────                        2                                           2                                (-b + c)                                    (-b + c)                                -n?((a - c)?(b - t)?(-B?(b - d) + B?(c - d) + C?(b - c)) + (b - d)?(c - t)?(A?(b - c) + B?(a - b) - B?(a - c))) ────────────────────────────────────────────────────────────────────────────────────────────────────────────────                                                           2                                                                                                (a - c)?(b - c) ?(b - d) 但是，可以手動(dòng)進(jìn)一步簡(jiǎn)化該表達(dá)式，我將其結(jié)果標(biāo)記為F：F = n/(c-a) * (B - A) * (c-t)/(c-b) + n/(d-b) * (C - B) * (t-b)/(c-b)print(sp.pretty( F ))print((F-E).simplify())這輸出n?(-A + B)?(c - t)   n?(-B + C)?(-b + t)────────────────── + ───────────────────(-a + c)?(-b + c)     (-b + c)?(-b + d) 0我研究了各種選項(xiàng)，包括factor(),collect()和apart()，但這些選項(xiàng)似乎都不會(huì)產(chǎn)生與 具有相同結(jié)構(gòu)的表達(dá)式F。關(guān)于如何進(jìn)行的任何指示？此外，我想知道是否可以通過某種方式調(diào)整 Sympy 的漂亮打印功能以保持分子和分母中變量的原始順序（例如，B - A而不是-A + B）。目前，在大多數(shù)情況下順序是顛倒的，前導(dǎo)減號(hào)看起來相當(dāng)難看。將復(fù)合分?jǐn)?shù)顯示為簡(jiǎn)單分?jǐn)?shù)的乘積（例如，a/b c/d而不是ac/bd），盡管在某些情況下，在何處/如何“拆分”此類復(fù)合分?jǐn)?shù)當(dāng)然可能不明確。