def random_hmf(): # Random Hilbert modular form
from sage.misc.prandom import randint
n = get_stats().counts()['nforms']
n = randint(0,n-1)
C = getDBConnection()
res = C.hmfs.forms.find()[n]
return hilbert_modular_form_by_label(res)
def random_hmf(): # Random Hilbert modular form
from sage.misc.prandom import randint
n = get_stats().counts()['nforms']
n = randint(0, n - 1)
C = getDBConnection()
res = C.hmfs.forms.find()[n]
return hilbert_modular_form_by_label(res)
def random_hmf(): # Random Hilbert modular form
from sage.misc.prandom import randint
n = get_stats().counts()['nforms']
n = randint(0,n-1)
C = getDBConnection()
res = C.hmfs.forms.find()[n]
return redirect(url_for(".render_hmf_webpage", field_label=res['field_label'], label=res['label']))
def random_hmf(): # Random Hilbert modular form
from sage.misc.prandom import randint
n = get_stats().counts()['nforms']
n = randint(0,n-1)
C = getDBConnection()
res = C.hmfs.forms.find()[n]
return redirect(url_for(".render_hmf_webpage", field_label=res['field_label'], label=res['label']))
def browse():
info = {
'counts': get_counts(),
'stats': get_stats()
}
credit = 'John Voight'
t = 'Hilbert modular forms'
bread = [("Modular Forms", url_for('mf.modular_form_main_page')), ('Hilbert Modular Forms', url_for("hmf.hilbert_modular_form_render_webpage")),
('Browse', ' ')]
return render_template("hmf_stats.html", info=info, credit=credit, title=t, bread=bread, learnmore=learnmore_list())
def browse():
info = {
'counts': get_counts(),
'stats': get_stats()
}
credit = 'John Voight'
t = 'Hilbert modular forms'
bread = [('Hilbert modular forms', url_for("hmf.hilbert_modular_form_render_webpage")),
('browse', ' ')]
return render_template("hmf_stats.html", info=info, credit=credit, title=t, bread=bread, learnmore=learnmore_list_remove("Completeness"))
def browse():
info = {
'counts': get_counts(),
'stats': get_stats()
}
credit = 'John Voight'
t = 'Hilbert modular forms'
bread = [('Hilbert modular forms', url_for("hmf.hilbert_modular_form_render_webpage")),
('browse', ' ')]
return render_template("hmf_stats.html", info=info, credit=credit, title=t, bread=bread, learnmore=learnmore_list_remove("Completeness"))
def hilbert_modular_form_render_webpage():
args = request.args
if len(args) == 0:
info = {}
t = 'Hilbert Modular Forms'
bread = [('Hilbert Modular Forms', url_for(".hilbert_modular_form_render_webpage"))]
info['learnmore'] = []
info['counts'] = get_stats().counts()
return render_template("hilbert_modular_form_all.html", info=info, credit=hmf_credit, title=t, bread=bread)
else:
return hilbert_modular_form_search(**args)
def browse():
info = {
'counts': get_counts(),
'stats': get_stats()
}
credit = 'John Voight'
t = 'Hilbert Modular Forms'
bread = [("Modular Forms", url_for('mf.modular_form_main_page')), ('Hilbert Modular Forms', url_for("hmf.hilbert_modular_form_render_webpage")),
('Browse', ' ')]
return render_template("hmf_stats.html", info=info, credit=credit, title=t, bread=bread, learnmore=learnmore_list())
def hilbert_modular_form_render_webpage():
args = request.args
if len(args) == 0:
info = {}
t = 'Hilbert Modular Forms'
bread = [("Modular Forms", url_for('mf.modular_form_main_page')),
('Hilbert Modular Forms', url_for(".hilbert_modular_form_render_webpage"))]
info['learnmore'] = []
info['counts'] = get_stats().counts()
return render_template("hilbert_modular_form_all.html", info=info, credit=hmf_credit, title=t, bread=bread)
else:
return hilbert_modular_form_search(**args)
def statistics_by_degree(d):
counts = get_counts()
info = {}
if not str(d) in counts['degrees']:
if d == 1:
info[
'error'] = "For modular forms over $\mathbb{Q}$ go <a href=%s>here</a>" % url_for(
'cmf.index')
else:
info[
'error'] = "The database does not contain any Hilbert modular forms over fields of degree %s" % d
d = 'bad'
else:
info['counts'] = counts
info['degree_stats'] = hmf_degree_summary(d)
info['degree'] = d
info['stats'] = get_stats(d)
credit = 'John Cremona'
if d == 2:
t = 'Hilbert Modular Forms over Real Quadratic Number Fields'
elif d == 3:
t = 'Hilbert Modular Forms over Totally Real Cubic Number Fields'
elif d == 4:
t = 'Hilbert Modular Forms over Totally Real Quartic Number Fields'
elif d == 5:
t = 'Hilbert Modular Forms over Totally Real Quintic Number Fields'
elif d == 6:
t = 'Hilbert Modular Forms over Totally Real Sextic Number Fields'
else:
t = 'Hilbert Modular Forms over Totally Real Fields of Degree %s' % d
bread = [('Hilbert Modular Forms',
url_for("hmf.hilbert_modular_form_render_webpage")),
('Degree %s' % d, ' ')]
if d == 'bad':
t = 'Hilbert Modular Forms'
bread = bread[:-1]
return render_template("hmf_by_degree.html",
info=info,
credit=credit,
title=t,
bread=bread,
learnmore=learnmore_list_remove('Completeness'))
def statistics_by_degree(d):
counts = get_counts()
info = {}
if not d in counts['degrees']:
if d==1:
info['error'] = "For modular forms over $\mathbb{Q}$ go <a href=%s>here</a>" % url_for('emf.render_elliptic_modular_forms')
else:
info['error'] = "The database does not contain any Hilbert modular forms over fields of degree %s" % d
d = 'bad'
else:
info['counts'] = counts
info['degree_stats'] = hmf_degree_summary(d)
info['degree'] = d
info['stats'] = get_stats(d)
credit = 'John Cremona'
if d==2:
t = 'Hilbert modular forms over real quadratic number fields'
elif d==3:
t = 'Hilbert modular forms over totally real cubic number fields'
elif d==4:
t = 'Hilbert modular forms over totally real quartic number fields'
elif d==5:
t = 'Hilbert modular forms over totally real quintic number fields'
elif d==6:
t = 'Hilbert modular forms over totally real sextic number fields'
else:
t = 'Hilbert modular forms over totally real fields of degree %s' % d
bread = [('Hilbert modular forms', url_for("hmf.hilbert_modular_form_render_webpage")),
('degree %s' % d,' ')]
if d=='bad':
t = 'Hilbert modular forms'
bread = bread[:-1]
return render_template("hmf_by_degree.html", info=info, credit=credit, title=t, bread=bread, learnmore=learnmore_list_remove("Completeness"))
