예제 #1
0
def render_dimension_table_page(args, bread):
    fams = get_smf_families()
    fam_list = [
        c for c in fams
        if c.computes_dimensions() and not c.name in ["Sp4Z", "Sp4Z_2"]
    ]  # Sp4Z and Sp4Z_2 are sub-families of Sp4Z_j
    info = {'family_list': fam_list, 'args': to_dict(args)}
    family = get_smf_family(args.get('family'))
    if not family:
        flash_error("Space %s not found in databsae", args.get('family'))
    elif not family.computes_dimensions():
        flash_error("Dimension table not available for family %s.",
                    args.get('family'))
    else:
        info['family'] = family
        if 'j' in family.latex_name:
            # if j is not specified (but could be) set it to zero for consistency (overrides defaults in json files)
            if not 'j' in info['args'] or not info['args']['j']:
                info['args']['j'] = '0'
        if not 'j' in family.latex_name and 'j' in info[
                'args'] and info['args']['j'] != '0':
            flash_error(
                "$j$ = %s should not be specified for the selected space %s",
                info['args']['j'], '$' + family.latex_name + '$')
        else:
            build_dimension_table(info, family, info['args'])
    bread.append(('Dimensions', 'dimensions'))
    return render_template("ModularForm_GSp4_Q_dimensions.html",
                           title='Siegel modular forms dimension tables',
                           bread=bread,
                           info=info)
예제 #2
0
def render_main_page(bread):
    fams = get_smf_families()
    fam_list = [
        c for c in fams
        if c.computes_dimensions() and not c.name in ["Sp4Z", "Sp4Z_2"]
    ]  # Sp4Z and Sp4Z_2 are sub-families of Sp4Z_j
    info = {
        'family_list': fam_list,
        'args': {},
        'number_of_samples': db.smf_samples.count()
    }
    return render_template('ModularForm_GSp4_Q_index.html',
                           title='Siegel modular forms',
                           bread=bread,
                           info=info)
예제 #3
0
def render_dimension_table_page(args, bread):
    fams = get_smf_families()
    fam_list = [c for c in fams if c.computes_dimensions() and not c.name in ["Sp4Z","Sp4Z_2"]] # Sp4Z and Sp4Z_2 are sub-families of Sp4Z_j
    info = { 'family_list': fam_list, 'args': to_dict(args) }
    family = get_smf_family(args.get('family'))
    if not family:
        flash_error("Space %s not found in databsae", args.get('family'))
    elif not family.computes_dimensions():
        flash_error("Dimension table not available for family %s.", args.get('family'))
    else:
        info['family'] = family
        if 'j' in family.latex_name:
            # if j is not specified (but could be) set it to zero for consistency (overrides defaults in json files)
            if not 'j' in info['args'] or not info['args']['j']:
                info['args']['j'] = '0'
        if not 'j' in family.latex_name and 'j' in info['args'] and  info['args']['j'] != '0':
            flash_error("$j$ = %s should not be specified for the selected space %s", info['args']['j'], '$'+family.latex_name+'$')
        else:
            build_dimension_table (info, family, info['args'])
    bread.append(('Dimensions', 'dimensions'))
    return render_template("ModularForm_GSp4_Q_dimensions.html", title='Siegel Modular Forms Dimension Tables', bread=bread, info=info)
예제 #4
0
def render_main_page(bread):
    fams = get_smf_families()
    fam_list = [c for c in fams if c.computes_dimensions() and not c.name in ["Sp4Z","Sp4Z_2"]] # Sp4Z and Sp4Z_2 are sub-families of Sp4Z_j
    info = { 'family_list': fam_list, 'args': {}, 'number_of_samples': db.smf_samples.count()}
    return render_template('ModularForm_GSp4_Q_index.html', title='Siegel Modular Forms', bread=bread, info=info)