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')