(input: unknown, expected: unknown)
| 1049 | |
| 1050 | // digamma, recognition direction (large match → small replace) |
| 1051 | it('HarmonicNumber(n−1) − γ → Digamma(n) for integer n > 0 [fungrim:00c02a]', () => |
| 1052 | simplifiesTo( |
| 1053 | ['Subtract', ['HarmonicNumber', ['Add', 'n', -1]], 'EulerGamma'], |
| 1054 | ['Digamma', 'n'] |
| 1055 | )); |
| 1056 | |
| 1057 | // polygamma (2-arg DigammaFunction upstream, translated to the native |
| 1058 | // PolyGamma head since fork ce338d5 — these entries were compat-signature |
| 1059 | // compile skips before) |
| 1060 | it('PolyGamma(1, 1) → π²/6', () => |
| 1061 | simplifiesTo( |
| 1062 | ['PolyGamma', 1, 1], |
| 1063 | ['Multiply', ['Rational', 1, 6], ['Square', 'Pi']] |
| 1064 | )); |
| 1065 | |
| 1066 | it('PolyGamma(1, 1/4) → π² + 8·Catalan [fungrim:2744d4]', () => |
no test coverage detected