qParam — Mathlib

English

Define qParam(h,z) as the exponential encoding used for q-expansions: qParam(h,z) = exp(2π i z / h).

Русский

Определим qParam(h,z) как экспоненциальную кодировку для q-разложений: qParam(h,z) = exp(2π i z / h).

LaTeX

$$$\mathrm{qParam}(h,z) = \exp\left(\frac{2\pi i z}{h}\right)$$$

Lean4

/-- Parameter for q-expansions, `qParam h z = exp (2 * π * I * z / h)` -/
def qParam (z : ℂ) : ℂ :=
  exp (2 * π * I * z / h)

Похожие утверждения