def render_glnQ_group(args): info = {} if 'label' in args: label = clean_input(args['label']) info = db.gps_qrep.lucky({'label': label}) info['dispmat'] = dispmat info['groupname'] = '${}$'.format(group_names_pretty(info['group'])) info['groupknowl'] = abstract_group_display_knowl( info['group'], info['groupname']) title = r'$\GL(' + str(info['dim']) + r',\Q)$ subgroup ' + label prop = [('Label', '%s' % label), ('Order', r'\(%s\)' % info['order']), ('Dimension', '%s' % info['dim'])] bread = get_bread([(label, )]) # downloads = [('Code to Magma', url_for(".hgcwa_code_download", label=label, download_type='magma')), # ('Code to Gap', url_for(".hgcwa_code_download", label=label, download_type='gap'))] return render_template( "glnQ-show-group.html", title=title, bread=bread, info=info, properties=prop, #friends=friends, learnmore=learnmore_list(), #downloads=downloads, credit=credit_string)
def group_search(info, query): info['group_url'] = get_url info['getname'] = lambda xx: '$' + group_names_pretty(xx) + '$' parse_ints(info, query, 'order', 'order') parse_ints(info, query, 'dim', 'dim')