Symbolic summation.
與 .wl 參考的差異： Symbolic `Sum` is limited to monomials from 1
可獨立核查：此函式的答案會透過另一條途徑重新推導並比較——工作臺和 verify 工具會自動完成，因此錯誤答案會被發現而不是被採信。 歷史 →
Sum[f, {i, imax}]
Sum[f, {i, imin, imax}]
Sum[f, {i, imin, imax, di}]
Sum[f, {i, {i1, i2, …}}]
Sum[f, {i, imin, imax}, {j, jmin, jmax}, …]
Sum[f, i]
Sum[k, {k, 1, 10}]
→ 55Sum[k^2, {k, 1, n}]
→ (n*(1 + n)*(1 + 2*n))/6Sum[1/k^2, {k, 1, Infinity}]
→ Pi^2/6Sum[(-1)^n x^(2n+1)/Factorial[2n+1], {n, 0, Infinity}]
→ Sin[x]Sum[n, {n, 1, 10}, Method -> Automatic]
→ 55Sum[n, {n, 1, Infinity}, Regularization -> "Dirichlet"]
→ -1/12Sum[n^3, {n, 1, Infinity}, Regularization -> "Dirichlet"]
→ 1/120Sum[(-1)^n, {n, 1, Infinity}, Regularization -> "Abel"]
→ -1/2Sum[(-1)^n n, {n, 1, Infinity}, Regularization -> "Abel"]
→ -1/4Sum[1/n, {n, 1, Infinity}, Regularization -> "Dirichlet"]
→ Sum[n^(-1), {n, 1, Infinity}, Regularization -> Dirichlet]- Assumptions — default $Assumptions
- GenerateConditions — default False
- GeneratedParameters — default None
- Method — default Automatic
- Regularization — default None
- VerifyConvergence — default True