12.3.2 modular.modsym.manin_symbols - Manin symbols

The module modular.modsym.manin_symbols defines the following methods:

apply_to_monomial( i, j, a, b, c, d)

Returns a list of the coefficients of

$\displaystyle (aX + bY)^i (cX + dY)^{j-i},
$

where $ 0 \leq i \leq j$ , and $ a,b,c,d$ are integers.

One should think of $ j$ as being $ k-2$ for the application to modular symbols.

INPUT:
    i, j, a, b, c, d -- all ints
    
OUTPUT:
    list of ints, which are the coefficients
    of Y^j, Y^(j-1)*X, ..., X^j, respectively.

We compute that $ (X+Y)^2(X-Y) = X^3 + X^2Y - XY^2 - Y^3$ .

sage: apply_to_monomial(2, 3, 1,1,1,-1)
[-1, -1, 1, 1]
sage: apply_to_monomial(5, 8, 1,2,3,4)
[2048, 9728, 20096, 23584, 17200, 7984, 2304, 378, 27]
sage: apply_to_monomial(6,12, 1,1,1,-1)
[1, 0, -6, 0, 15, 0, -20, 0, 15, 0, -6, 0, 1]

The module modular.modsym.manin_symbols defines the following classes:

class ManinSymbol
A Manin symbol $ [X^i\cdot Y^{k-2-i},(u,v)]$ .

class ManinSymbolList
All Manin symbols for a given group, weight, and character.

class ManinSymbolList_character
List of Manin Symbols with character.

class ManinSymbolList_gamma0
List of Manin symbols for Gamma0(N).

class ManinSymbolList_gamma1
List of Manin symbols for Gamma0(N).



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