Ejemplo n.º 1
0
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)
Ejemplo n.º 2
0
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)