Факторизующие фракции в sympy

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] вызывает некоторые процедуры оценки, которые немного упрощают выражение, но не расширяют его.