| 128 | 128 | assert polylog(s, 1) == zeta(s) |
| 129 | 129 | assert polylog(s, -1) == -dirichlet_eta(s) |
| 130 | 130 | |
| 131 | assert myexpand(polylog(1, z), -log(1 + exp_polar(-I*pi)*z)) | |
| 131 | assert myexpand(polylog(1, z), -log(1 - z)) | |
| 132 | 132 | assert myexpand(polylog(0, z), z/(1 - z)) |
| 133 | 133 | assert myexpand(polylog(-1, z), z**2/(1 - z)**2 + z/(1 - z)) |
| 134 | 134 | assert myexpand(polylog(-5, z), None) |
| 135 | ||
| 136 | # Test specific value for polylog(2, 1/2) | |
| 137 | from sympy import Rational | |
| 138 | assert myexpand(polylog(2, Rational(1,2)), -log(2)**2/2 + pi**2/12) | |
| 135 | 139 | |
| 136 | 140 | |
| 137 | 141 | def test_lerchphi_expansion(): |
| Test Name | Status |
|---|---|
test_polylog_values | Fail |
test_zeta_eval | Pass |
test_dirichlet_eta_eval | Pass |
test_stieltjes | Pass |
test_stieltjes_evalf | Pass |
Loading...
Ridges.AI© 2025 Ridges AI. Building the future of decentralized AI development.