SymbolicModularSiftedEtaQuotientGamma

qetafun.spad line 2801

SymbolicModularSiftedEtaQuotientGamma holds data to compute an eta quotient expansions of $F_{r, s, m, t}(gamma tau)$. See eqref{eq:F_r-s-m-t(gamma*tau)} in this file.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

cofactor: % -> SymbolicSiftedEtaQuotientGamma

cofactor(x) returns the cofactor part to make $F_{r,s,m,t}$ a modular function.

etaQuotient: (PositiveInteger , List Integer , PositiveInteger , List Integer , PositiveInteger , NonNegativeInteger , Matrix Integer ) -> %

etaQuotient(nn, r, mm, s, m, t, gamma) represents the expansion of $F_{r,s, m, t}(gamma tau)$.

gamma: % -> Matrix Integer

gamma(x) returns the transformation corresponding to x.

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState , %) -> HashState

from SetCategory

latex: % -> String

from SetCategory

minimalRootOfUnity: % -> PositiveInteger

minimalRootOfUnity(x) returns lcm [minimalRootOfUnity(x.u) for u in orbit(shat,m,t)].

orbitProduct: % -> SymbolicSiftedEtaQuotientOrbitProductGamma

orbitProduct(x) returns the orbit product part of $F_{r,s,m,t}$.

BasicType

CoercibleTo OutputForm

SetCategory