newforms.pyc

�
eYc@s"dZdd
�
Zdd�
ZdS(s<
Bases of newforms for classical GL2 modular forms over QQ.
cCs�|r|n|}d
dlm
}m}
|||
�}|dkrGgS|d|d|
dd�j�}|j�}|j�}g|D]}	|	j�^q�}
t|
�
|ks�td�
�
|
S(	s�
    Return the degrees of the newforms of level N, weight k, with character eps.

    INPUT:

        - N -- level; positive integer or Dirichlet character
        - k -- weight; integer at least 2
        - eps -- None or Dirichlet character; if specified N is ignored
        
    EXAMPLES::

        sage: import psage
        sage: psage.modform.rational.degrees(11,2)
        [1]
        sage: psage.modform.rational.degrees(37,2)
        [1, 1]
        sage: psage.modform.rational.degrees(43,2)
        [1, 2]
        sage: psage.modform.rational.degrees(DirichletGroup(13).0^2,2)
        [1]
        sage: psage.modform.rational.degrees(13,2,DirichletGroup(13).0^2)
        [1]
        sage: psage.modform.rational.degrees(13,2)
        []
    i����(tModularSymbolstdimension_new_cusp_formsitgrouptweighttsigni
s)major consistency check failed in degrees(	tsage.allRR
tcuspidal_subspacetnew_subspacet
decompositiont	dimensiontsumtAssertionError(t
Nt
ktepsRRR
t
dt
Mt
Dt
ftdegs((s"psage/modform/rational/newforms.pytdegreess



!



c	Cs�|r|n|}d
dlm
}
|d|d|
dd�j�}|j�}|j�}g|D]"}|jdg
�
dj�^qb}|S(s
    Return Hecke eigenvalue fields of the newforms in the space with
    given level, weight, and character.

    Note that computing this field involves taking random linear
    combinations of Hecke eigenvalues, so is not deterministic.  Set
    the random seed first (set_random_seed(0)) if you want this to be
    deterministic.

    INPUT:

        - N -- level; positive integer
        - k -- weight; integer at least 2
        - eps -- None or Dirichlet character; if specified N is ignored
        
    EXAMPLES::
    
        sage: import psage
        sage: psage.modform.rational.eigenvalue_fields(11,2)
        [Rational Field]
        sage: psage.modform.rational.eigenvalue_fields(43,2)
        [Rational Field, Number Field in alpha with defining polynomial x^2 - 2]
        sage: psage.modform.rational.eigenvalue_fields(DirichletGroup(13).0^2,2)
        [Cyclotomic Field of order 6 and degree 2]
        sage: psage.modform.rational.eigenvalue_fields(13,2,DirichletGroup(13).0^2)
        [Cyclotomic Field of order 6 and degree 2]
    i����(
RRRRi
i(RRRRRtcompact_system_of_eigenvaluest	base_ring(	RR
RRRRRRt
X((s"psage/modform/rational/newforms.pyteigenvalue_fieldsCs

!


/
N(t__doc__tNoneRR(((s"psage/modform/rational/newforms.pyt<module>s(