Fungrim home page

Fungrim entry: 5706ab

η(i)=i4η ⁣(i)\eta'(i) = -\frac{i}{4} \eta\!\left(i\right)
TeX:
\eta'(i) = -\frac{i}{4} \eta\!\left(i\right)
Definitions:
Fungrim symbol Notation Short description
ComplexDerivativeddzf ⁣(z)\frac{d}{d z}\, f\!\left(z\right) Complex derivative
DedekindEtaη ⁣(τ)\eta\!\left(\tau\right) Dedekind eta function
ConstIii Imaginary unit
Source code for this entry:
Entry(ID("5706ab"),
    Formula(Equal(ComplexDerivative(DedekindEta(tau), tau, ConstI), Mul(Neg(Div(ConstI, 4)), DedekindEta(ConstI)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-08-19 14:38:23.809000 UTC