Факторинг дробей в симпы

Question

Как мне попросить sympy множитель x**2 - 3/2*x + 1/2 в (x-1)*(x-1/2)? Самое близкое, что я получил, это:

>>> (x**2  - Rational(3/2)*x + Rational(1/2)).factor()
(x - 1)*(2*x - 1)/2

Answer 1

Простой способ:

In [1]: expr = (x**2  - Rational(3/2)*x + Rational(1/2))

In [2]: expr
Out[2]: 
 2   3*x   1
x  - --- + -
      2    2

In [3]: fe = factor(expr)

In [4]: fe
Out[4]: 
(x - 1)*(2*x - 1)
-----------------
        2        

In [5]: fe.args
Out[5]: (1/2, x - 1, 2*x - 1)

In [6]: fe.args[0]*fe.args[2]*fe.args[1]
Out[6]: (x - 1)*(x - 1/2)

То есть вы учитываете выражение [3], затем получаете аргументы продукта [5] и умножаете их [6]. Умножение на шаге [6] вызывает некоторые процедуры оценки, которые немного упрощают выражение, но не до точки его расширения.