def rep_galois_modl_render_webpage(): args = request.args if len(args) == 0: counts = get_stats().counts() dim_list = range(1, 11, 1) max_class_number = 20 class_number_list = range(1, max_class_number + 1, 1) det_list_endpoints = [1, 5000, 10000, 20000, 25000, 30000] # if counts['max_det']>3000: # det_list_endpoints=det_list_endpoints+range(3000, max(int(round(counts['max_det']/1000)+2)*1000, 10000), 1000) det_list = ["%s-%s" % (start, end - 1) for start, end in zip(det_list_endpoints[:-1], det_list_endpoints[1:])] name_list = ["A2", "Z2", "D3", "D3*", "3.1942.3884.56.1", "A5", "E8", "A14", "Leech"] info = { "dim_list": dim_list, "class_number_list": class_number_list, "det_list": det_list, "name_list": name_list, } credit = rep_galois_modl_credit t = "Mod ℓ Galois representations" bread = [("Representations", "/Representation"), ("mod ℓ", url_for(".rep_galois_modl_render_webpage"))] info["counts"] = get_stats().counts() return render_template( "rep_galois_modl-index.html", info=info, credit=credit, title=t, learnmore=learnmore_list_remove("Completeness"), bread=bread, ) else: return rep_galois_modl_search(**args)
def rep_galois_modl_render_webpage(): args = request.args if len(args) == 0: counts = get_stats().counts() dim_list = range(1, 11, 1) max_class_number = 20 class_number_list = range(1, max_class_number + 1, 1) det_list_endpoints = [1, 5000, 10000, 20000, 25000, 30000] # if counts['max_det']>3000: # det_list_endpoints=det_list_endpoints+range(3000, max(int(round(counts['max_det']/1000)+2)*1000, 10000), 1000) det_list = [ "%s-%s" % (start, end - 1) for start, end in zip( det_list_endpoints[:-1], det_list_endpoints[1:]) ] name_list = [ "A2", "Z2", "D3", "D3*", "3.1942.3884.56.1", "A5", "E8", "A14", "Leech" ] info = { 'dim_list': dim_list, 'class_number_list': class_number_list, 'det_list': det_list, 'name_list': name_list } credit = rep_galois_modl_credit t = 'Mod ℓ Galois representations' bread = [('Representations', "/Representation"), ("mod ℓ", url_for(".rep_galois_modl_render_webpage"))] info['counts'] = get_stats().counts() return render_template("rep_galois_modl-index.html", info=info, credit=credit, title=t, learnmore=learnmore_list_remove('Completeness'), bread=bread) else: return rep_galois_modl_search(**args)