8.4.1.5 ModularSymbolsAmbient_wtk_g1_Q Objects

class ModularSymbolsAmbient_wtk_g1_Q
ModularSymbolsAmbient_wtk_g1_Q( level, weight, [sign=0])

Initialize a space of modular symbols for Gamma1(N).

INPUT:
    level -- int, the level
    weight -- int, the weight >= 2
    sign -- int, either -1, 0, or 1

sage: ModularSymbolsAmbient_wtk_g1_Q(17,2)
Full Modular Symbols space for Gamma_1(17) of weight 2 with
sign 0 and dimension 25 over Rational Field
sage: [ModularSymbolsAmbient_wtk_g1_Q(7,k).dimension() for k in [2,3,4,5]]
[5, 8, 12, 16]

Instances of class ModularSymbolsAmbient_wtk_g1_Q have the following functions (in addition to inherited functions and special functions):

boundary_space,$  $ manin_symbols,$  $ modular_symbols_of_level,$  $ modular_symbols_of_sign,$  $ modular_symbols_of_weight

Further documentation:

modular_symbols_of_level( N)

Returns a space of modular symbols with the same defining properties (weight, sign, etc.) as this space except with the level N.

For example, if self is the space of modular symbols of weight 2 for Gamma_0(22), and level is 11, then this function returns modular symbols of weight 2 for Gamma_0(11).

modular_symbols_of_sign( sign)

Returns a space of modular symbols with the same defining properties (weight, sign, etc.) as this space except with given sign.

modular_symbols_of_weight( k)

Returns a space of modular symbols with the same defining properties (weight, sign, etc.) as this space except with weight k.

See About this document... for information on suggesting changes.