QEtaIdealHemmecke MODGΒΆ
qetaih.spad line 100 [edit on github]
MODG: QEtaModularGammaCategory
QEtaIdealHemmecke implements functions to compute an ideal of relations among Dedekind eta-functions of level N. The computation of an algebra basis of eta-quotient of level NN is done in an extended way so that there is no need to compute a Groebner basis of the relations among the eta-quotions in order to represent them in terms of the input eta-quotients.
- algebraicRelations: (List List Integer, List Polynomial Integer, List Symbol) -> List Polynomial Integer
from QEtaIdealCategory MODG
- algebraicRelations: (List List Integer, List Polynomial Integer, List Symbol, String) -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaLaurentIdealGenerators: (List List Integer, List QEtaSpecification, List Polynomial Integer) -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaLaurentIdealGenerators: List List Integer -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaLaurentIdealLists: (List List Integer, List QEtaSpecification, List Polynomial Integer) -> List List Polynomial Integer
from QEtaIdealCategory MODG
- etaQuotientIdealGenerators: (List List Integer, String) -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaQuotientIdealGenerators: (List QEtaSpecification, String) -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaQuotientIdealGenerators: List QEtaSpecification -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaRelations: (List List Integer, List Polynomial Integer) -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaRelations: (List List Integer, String) -> List Polynomial Integer
from QEtaIdealCategory MODG
- etaRelations: List List Integer -> List Polynomial Integer
from QEtaIdealCategory MODG
- laurentRelations: (List Symbol, List Symbol) -> List Polynomial Integer
from QEtaIdealCategory MODG
- laurentRelations: List List Integer -> List Polynomial Integer
from QEtaIdealCategory MODG
- relationsIdealGenerators: List ModularFunctionQSeriesInfinity Fraction Integer -> List Polynomial Integer
from QEtaIdealCategory MODG
QEtaIdealCategory MODG