QEtaModularFormGeneratorsSystem FΒΆ
qetamodformgens.spad line 163 [edit on github]
F: with
maxIndex: () -> PositiveInteger
qetaGrade: (%, PositiveInteger) -> Integer
QEtaModularFormGeneratorsSysstem(F
) is a package that computes from a samba basis and a modular form a corresponding system of equations and inequations from which (when solved) one can extract the respective generators of modular forms.
- modularFormSystem: (F, F, List F) -> Record(zmat: Matrix Integer, zrels: Vector Integer, zrhs: Vector Integer, zsgn: List Integer)
modularFormSystem(f,t,bas)
computes from the orders of the expansions of the algebra basis and the orders of the respectivet
and an the orders of a modular formf
a system that, if solved, gives the the respective basis for all modular forms.
- modularFormSystem: (F, F, List F, Integer) -> Record(zmat: Matrix Integer, zrels: Vector Integer, zrhs: Vector Integer, zsgn: List Integer)
modularFormSystem(f,t,bas,expof)
computes from the orders of the expansions of the algebra basis and the orders of the respectivet
and an the orders of a modular formf
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.