QEtaModularFormSystemΒΆ

qetamodformgens.spad line 100 [edit on github]

QEtaModularFormSystem is a package that computes from pole order data a corresponding system of equations and inequations from which (when solved) one can extract the respective generators of modular forms.

modularFormSystem: (List Integer, List Integer, List List Integer) -> Record(zmat: Matrix Integer, zrels: Vector Integer, zrhs: Vector Integer, zsgn: List Integer)

modularFormSystem(ordsf,ordst,ordsbas) computes from the orders of the expansions of the algebra basis and the orders of the respective t and an the orders of a modular form f a system that, if solved, gives the the respective basis for all modular forms.

modularFormSystem: (List Integer, List Integer, List List Integer, Integer) -> Record(zmat: Matrix Integer, zrels: Vector Integer, zrhs: Vector Integer, zsgn: List Integer)

modularFormSystem(ordsf,ordst,ordsbas,expof) computes from the orders of the expansions of the algebra basis and the orders of the respective t and an the orders of a modular form f a system that, if solved, gives the the respective basis for all modular forms of weight equal to expof*weight(f) where weight(f) means the weight of the respective modular form.