QEtaModularFunctionTools

qetafun.spad line 3442

undocumented

etaCoFactorInfinity: (PositiveInteger , PositiveInteger , List Integer , PositiveInteger , NonNegativeInteger ) -> List Integer

etaCoFactorInfinity(nn, mm, s, m, t) returns a vector r such that modularConditions?(nn, members r, mm, s, m, t)$QEtaKolberg and etaQuotient(nn, r, mm, s, m,t)$SymbolicModularSiftedEtaQuotient corresponds to a modular function with poles only at infinity and with smallest pole order.

qetaGrades: (PositiveInteger , List Integer , PositiveInteger , List Integer , PositiveInteger , NonNegativeInteger ) -> XHashTable (Fraction Integer , Integer )

qetaGrades(nn, r, mm, s, m, t) returns qetaGrades(y) where y=etaQuotient(nn, r, mm, s, m, t)$SymbolicModularSiftedEtaQuotient.

qetaGrades: SymbolicModularSiftedEtaQuotient -> XHashTable (Fraction Integer , Integer )

qetaGrades(y) returns the qetaGrades of the modular function corresponding to y.