Miscellaneous Modular-Form-Related Modules

• Dirichlet characters
  • DirichletCharacter
  • DirichletGroupFactory
  • DirichletGroup_class
  • TrivialCharacter()
  • is_DirichletCharacter()
  • is_DirichletGroup()
  • kronecker_character()
  • kronecker_character_upside_down()
  • trivial_character()
• The set \(\mathbb{P}^1(\QQ)\) of cusps
  • Cusp
  • Cusps
  • Cusps_class
• Dimensions of spaces of modular forms
  • CO_delta()
  • CO_nu()
  • CohenOesterle()
  • dimension_cusp_forms()
  • dimension_eis()
  • dimension_modular_forms()
  • dimension_new_cusp_forms()
  • eisen()
  • sturm_bound()
• Conjectural slopes of Hecke polynomials
  • buzzard_tpslopes()
  • gp()
• Local components of modular forms
  • ImprimitiveLocalComponent
  • LocalComponent()
  • LocalComponentBase
  • PrimitiveLocalComponent
  • PrimitivePrincipalSeries
  • PrimitiveSpecial
  • PrimitiveSupercuspidal
  • PrincipalSeries
  • UnramifiedPrincipalSeries
• Smooth characters of \(p\)-adic fields
  • SmoothCharacterGeneric
  • SmoothCharacterGroupGeneric
  • SmoothCharacterGroupQp
  • SmoothCharacterGroupQuadratic
  • SmoothCharacterGroupRamifiedQuadratic
  • SmoothCharacterGroupUnramifiedQuadratic
• Type spaces of newforms
  • TypeSpace
  • example_type_space()
  • find_in_space()
• Helper functions for local components
  • lift_for_SL()
  • lift_gen_to_gamma1()
  • lift_matrix_to_sl2z()
  • lift_ramified()
  • lift_to_gamma1()
  • lift_uniformiser_odd()
• Eta-products on modular curves \(X_0(N)\)
  • AllCusps()
  • CuspFamily
  • EtaGroup()
  • EtaGroupElement
  • EtaGroup_class
  • EtaProduct()
  • eta_poly_relations()
  • num_cusps_of_width()
  • qexp_eta()
• The space of \(p\)-adic weights
  • AlgebraicWeight
  • ArbitraryWeight
  • WeightCharacter
  • WeightSpace_class
  • WeightSpace_constructor()
• Overconvergent \(p\)-adic modular forms for small primes
  • The Theory
  • An Extended Example
• Atkin/Hecke series for overconvergent modular forms
  • complementary_spaces()
  • complementary_spaces_modp()
  • compute_G()
  • compute_Wi()
  • compute_elldash()
  • ech_form()
  • hecke_series()
  • hecke_series_degree_bound()
  • higher_level_UpGj()
  • higher_level_katz_exp()
  • is_valid_weight_list()
  • katz_expansions()
  • level1_UpGj()
  • low_weight_bases()
  • low_weight_generators()
  • random_low_weight_bases()
  • random_new_basis_modp()
  • random_solution()
• Module of Supersingular Points
  • Phi2_quad()
  • Phi_polys()
  • SupersingularModule
  • dimension_supersingular_module()
  • supersingular_D()
  • supersingular_j()
• Brandt Modules
  • Introduction
  • Quaternion Algebras
  • Brandt Modules
  • Hecke Structure
  • Further Examples
• The set \(\mathbb{P}^1(K)\) of cusps of a number field \(K\)
  • Gamma0_NFCusps()
  • NFCusp
  • NFCusps()
  • NFCuspsSpace
  • NFCusps_ideal_reps_for_levelN()
  • list_of_representatives()
  • number_of_Gamma0_NFCusps()
  • units_mod_ideal()
• Hypergeometric motives
  • HypergeometricData
  • alpha_to_cyclotomic()
  • capital_M()
  • characteristic_polynomial_from_traces()
  • cyclotomic_to_alpha()
  • cyclotomic_to_gamma()
  • enumerate_hypergeometric_data()
  • gamma_list_to_cyclotomic()
  • possible_hypergeometric_data()
• Algebra of motivic multiple zeta values
  • All_iterated
  • D_on_compo()
  • Multizeta()
  • MultizetaValues
  • Multizetas
  • Multizetas_iterated
  • Values
  • coeff_phi()
  • composition_to_iterated()
  • compute_u_on_basis()
  • compute_u_on_compo()
  • coproduct_iterator()
  • dual_composition()
  • extend_multiplicative_basis()
  • iterated_to_composition()
  • minimize_term()
  • phi_on_basis()
  • phi_on_multiplicative_basis()
  • rho_inverse()
  • rho_matrix_inverse()

Indices and Tables

• Index

• Module Index

• Search Page