SymbolicEtaDeltaGamma

qetafun.spad line 1847

SymbolicEtaDeltaGamma collects data for the expansion of eta_delta(gamma tau). See eqref{eq:eta_delta(gamma*tau)}.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

delta: % -> PositiveInteger

delta(x) returns the delta that was used at creation time of x.

edelta: % -> PositiveInteger

See eqref{eq:uv_delta}

eta: (PositiveInteger , PositiveInteger , Matrix Integer ) -> %

eta(m, delta, gamma) represents the expansion of eta_delta(gamma tau) in terms of x = exp(2 pi i tau/w) where w=width(m, c) and gamma=cuspToMatrix(m, a/) for some cusp a/c.

gamma: % -> Matrix Integer

gamma(x) returns the gamma as given at creation time of x.

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState , %) -> HashState

from SetCategory

latex: % -> String

from SetCategory

level: % -> PositiveInteger

level(x) returns the level corresponding to x.

rationalPrefactor: % -> Fraction Integer

See ref{thm:c*tau+d}.

udelta: % -> Fraction Integer

See eqref{eq:uv_delta}

upsilonExponent: % -> IntegerMod 24

See eqref{eta_delta(gamma*tau)}.

vdelta: % -> Fraction Integer

See eqref{eq:uv_delta}.

BasicType

CoercibleTo OutputForm

SetCategory