コード例 #1
0
ファイル: emf_main.py プロジェクト: am-github/lmfdb
"""
from flask import render_template, url_for, request, redirect, make_response, send_file, send_from_directory,flash
import os
from lmfdb.base import app, db
from lmfdb.modular_forms.backend.mf_utils import my_get
from lmfdb.utils import to_dict
from lmfdb.modular_forms.elliptic_modular_forms import EMF, emf_logger, emf
from lmfdb.modular_forms.elliptic_modular_forms.backend.web_modform_space import WebModFormSpace_cached
from lmfdb.modular_forms.elliptic_modular_forms.backend.emf_utils import render_fd_plot,extract_data_from_jump_to
from emf_render_web_newform import render_web_newform
from emf_render_web_modform_space import render_web_modform_space
from emf_render_web_modform_space_gamma1 import render_web_modform_space_gamma1

from emf_render_navigation import render_elliptic_modular_form_navigation_wp,_browse_web_modform_spaces_in_ranges

emf_logger.setLevel(int(10))

@emf.context_processor
def body_class():
    return {'body_class': EMF}

#################
# Top level
#################

###########################################
# Search / Navigate
###########################################

met = ['GET', 'POST']
コード例 #2
0
from flask import render_template, url_for, request, redirect, make_response, send_file, send_from_directory, flash
import os
from lmfdb.base import app, db
from lmfdb.modular_forms.backend.mf_utils import my_get
from lmfdb.utils import to_dict
from lmfdb.modular_forms.elliptic_modular_forms import EMF, emf_logger, emf
from lmfdb.modular_forms.elliptic_modular_forms.backend.web_modform_space import WebModFormSpace_cached
from lmfdb.modular_forms.elliptic_modular_forms.backend.emf_utils import (
    render_fd_plot, extract_data_from_jump_to, newform_label)
from emf_render_web_newform import render_web_newform
from emf_render_web_modform_space import render_web_modform_space
from emf_render_web_modform_space_gamma1 import render_web_modform_space_gamma1

from emf_render_navigation import render_elliptic_modular_form_navigation_wp, _browse_web_modform_spaces_in_ranges

emf_logger.setLevel(int(10))


@emf.context_processor
def body_class():
    return {'body_class': EMF}


#################
# Top level
#################

###########################################
# Search / Navigate
###########################################