thetaSeriesIsModularFormFor

P160135 predicate

Indicates that a given theta series satisfies the defining properties of a modular form for a specified modular group or level.

Sample triples (1)

Subject Object
E8 lattice SL2(Z)