程式設計師用SymPy

數學公式化簡、推理、因式分解。作為程式設計師還可以挖掘一下它啟發式推理的潛力。

sympy只有乙個依賴項就是mpmath，安裝命令如下，建議在python3環境下安裝。

pip3 install mpmath

pip3 install sympy

docker run --name nb_demo -d -p 8888:8888 jupyter/demo

from sympy import

*x= symbols(
'x')
init_printing(use_unicode=
true
)integrate(exp(x)
*sin(x)
+ exp(x)
*cos(x)
, x)

in(x

)e^ sin(x)

exsin(

x)

pprint(integral(sqrt(

1/x)
, x)
, use_unicode=
false
)

/          

| 
| ___ 
| / 1 
| / - dx
| \/ x 
| 
/

print

(latex(integral(sqrt(
1/x)
, x)
))

\int \sqrt}\, dx

from sympy import

*x, y, z = symbols(
'x y z'
)init_printing(use_unicode=
true
)expand(
(x+1)**
2)

2x+1

x^ + 2 x + 1

x2+2x+

1

factor(x**

2*z +
4*x*y*z +
4*y**
2*z)

+2y)

2z (x + 2 y)^

z(x+2y

)2

# 展開三角函式

expand(
(cos(x)
+ sin(x))**
2)

2(x)

+2si

n(x)

cos(

x)+c

os2(

x)

sin^ + 2sin cos + cos^

sin2(x

)+2s

in(x

)cos

(x)+

cos2

(x)

# 因式合併三角函式

factor(cos(x)**2
+2*cos(x)
*sin(x)
+ sin(x)**2
)

n(x)

+cos

(x))

2( +cos)^

(sin(x

)+co

s(x)

)2

solveset(eq(x**2,

1), x)

1(x=

1,x=

−1

)x^=1 (x=1, x=-1)

x2=1(x

=1,x

=−1)

由於顯示不出來效果這裡略過

非常感興趣sympy符號推理的部分，看官方文件說用的啟發式演算法。有機會深究一下其實現機理。

適合程式設計師的耳機 程式設計師程式設計用什麼耳機

很多人基本手頭上拿著什麼耳機便用什麼，部分人會特意選用專業耳機，品牌多為索尼 森海塞爾和蘋果。如果是為了隔音，比如在沒有隔間的環境，有些人會選擇邊聽 邊敲 也有些人會選擇用耳塞或耳罩，午休時會配套眼罩。一般而言，辦公室等公共場合，需要考慮到溝通的需求，或者在馬路上，需要注意身旁事物以防事故或意外的情...

程式設計師何苦為難程式設計師

職場上有很多辛酸事，很多合夥人出局的故事，很多技術骨幹被裁員的故事。說來模板都類似，曾經是名校畢業，曾經是優秀員工，曾經被領導表揚，曾經業績突出，然而突然有一天，因為種種原因，被裁員了，想申訴，想求解釋，結論是，能力不匹配，未能與企業一起成長云云。這有兩說，一說是企業冷血，卸磨殺驢，嫌棄老人成本太高...

悲劇的程式設計師用程式寫出的愛情

01.用程式來描述愛情 02.public class mylovestory 03.22.23.男生的心情 24.internal enum heartstate 25.29.女生的生活狀態 30.internal enum lifestate 31.35.男生現在的心情 36.internal ...