def G_name(self):
"""
More-or-less standardized name of the abstract group
"""
import re
wnf = WebNumberField.from_polredabs(self.polredabs())
if not wnf.is_null():
mygalstring = wnf.galois_string()
if re.search('Trivial', mygalstring) is not None:
return '$C_1$'
# Have to remove dollar signs
return mygalstring
if self.polredabs().degree() < 12:
# Let pari compute it for us now
from sage.all import pari
galt = int(list(pari('polgalois(' + str(self.polredabs()) + ')'))[2])
from lmfdb.transitive_group import WebGaloisGroup
tg = WebGaloisGroup.from_nt(self.polredabs().degree(), galt)
return tg.display_short()
return self._data["G-Name"]
def G_name(self):
"""
More-or-less standardized name of the abstract group
"""
import re
wnf = WebNumberField.from_polredabs(self.polredabs())
if not wnf.is_null():
mygalstring = wnf.galois_string()
if re.search('Trivial', mygalstring) is not None:
return '$C_1$'
# Have to remove dollar signs
return mygalstring
if self.polredabs().degree() < 12:
# Let pari compute it for us now
from sage.all import pari
galt = int(list(pari('polgalois(' + str(self.polredabs()) + ')'))[2])
from lmfdb.transitive_group import WebGaloisGroup
tg = WebGaloisGroup.from_nt(self.polredabs().degree(), galt)
return tg.display_short()
return self._data["G-Name"]
def gg(self):
if not self.haskey('gg'):
self._data['gg'] = WebGaloisGroup.from_nt(self.degree(), self.galois_t())
return self._data['gg']
def render_field_webpage(args):
data = None
info = {}
if 'label' in args:
label = clean_input(args['label'])
data = lfdb().find_one({'label': label})
if data is None:
bread = get_bread([("Search error", ' ')])
info['err'] = "Field " + label + " was not found in the database."
info['label'] = label
return search_input_error(info, bread)
title = 'Local Number Field ' + label
polynomial = coeff_to_poly(string2list(data['coeffs']))
p = data['p']
e = data['e']
f = data['f']
cc = data['c']
GG = data['gal']
gn = GG[0]
gt = GG[1]
the_gal = WebGaloisGroup.from_nt(gn,gt)
isgal = ' Galois' if the_gal.order() == gn else ' not Galois'
abelian = ' and abelian' if the_gal.is_abelian() else ''
galphrase = 'This field is'+isgal+abelian+' over $\Q_{%d}$.'%p
autstring = r'\Gal' if the_gal.order() == gn else r'\Aut'
prop2 = [
('Label', label),
('Base', '\(\Q_{%s}\)' % p),
('Degree', '\(%s\)' % data['n']),
('e', '\(%s\)' % e),
('f', '\(%s\)' % f),
('c', '\(%s\)' % cc),
('Galois group', group_display_short(gn, gt, db())),
]
Pt = PolynomialRing(QQ, 't')
Pyt = PolynomialRing(Pt, 'y')
eisenp = Pyt(str(data['eisen']))
unramp = Pyt(str(data['unram']))
# Look up the unram poly so we can link to it
unramdata = lfdb().find_one({'p': p, 'n': f, 'c': 0})
if unramdata is not None:
unramfriend = "/LocalNumberField/%s" % unramdata['label']
else:
logger.fatal("Cannot find unramified field!")
unramfriend = ''
rfdata = lfdb().find_one({'p': p, 'n': {'$in': [1, 2]}, 'rf': data['rf']})
if rfdata is None:
logger.fatal("Cannot find discriminant root field!")
rffriend = ''
else:
rffriend = "/LocalNumberField/%s" % rfdata['label']
gsm = data['gsm']
if gsm == '0':
gsm = 'Not computed'
elif gsm == '-1':
gsm = 'Does not exist'
else:
gsm = web_latex(coeff_to_poly(string2list(gsm)))
info.update({
'polynomial': web_latex(polynomial),
'n': data['n'],
'p': p,
'c': data['c'],
'e': data['e'],
'f': data['f'],
't': data['t'],
'u': data['u'],
'rf': printquad(data['rf'], p),
'hw': data['hw'],
'slopes': show_slopes(data['slopes']),
'gal': group_display_knowl(gn, gt, db()),
'gt': gt,
'inertia': group_display_inertia(data['inertia'], db()),
'unram': web_latex(unramp),
'eisen': web_latex(eisenp),
'gms': data['gms'],
'gsm': gsm,
'galphrase': galphrase,
'autstring': autstring,
'subfields': format_subfields(data['subfields'],p),
'aut': data['aut'],
})
friends = [('Galois group', "/GaloisGroup/%dT%d" % (gn, gt))]
if unramfriend != '':
friends.append(('Unramified subfield', unramfriend))
if rffriend != '':
friends.append(('Discriminant root field', rffriend))
bread = get_bread([(label, ' ')])
learnmore = [('Completeness of the data', url_for(".completeness_page")),
('Source of the data', url_for(".how_computed_page")),
('Local field labels', url_for(".labels_page"))]
return render_template("lf-show-field.html", credit=LF_credit, title=title, bread=bread, info=info, properties2=prop2, friends=friends, learnmore=learnmore)
def render_group_webpage(args):
data = None
info = {}
if 'label' in args:
label = clean_input(args['label'])
label = label.replace('t', 'T')
C = base.getDBConnection()
data = C.transitivegroups.groups.find_one({'label': label})
if data is None:
bread = get_bread([("Search error", url_for('.search'))])
info['err'] = "Group " + label + " was not found in the database."
info['label'] = label
return search_input_error(info, bread)
title = 'Galois Group: ' + label
wgg = WebGaloisGroup.from_data(data)
n = data['n']
t = data['t']
data['yesno'] = yesno
order = data['order']
data['orderfac'] = latex(ZZ(order).factor())
orderfac = latex(ZZ(order).factor())
data['ordermsg'] = "$%s=%s$" % (order, latex(orderfac))
if order == 1:
data['ordermsg'] = "$1$"
if ZZ(order).is_prime():
data['ordermsg'] = "$%s$ (is prime)" % order
pgroup = len(ZZ(order).prime_factors()) < 2
if n == 1:
G = gap.SmallGroup(n, t)
else:
G = gap.TransitiveGroup(n, t)
if ZZ(order) < ZZ('10000000000'):
ctable = chartable(n, t)
else:
ctable = 'Group too large'
data['gens'] = generators(n, t)
if n == 1 and t == 1:
data['gens'] = 'None needed'
data['chartable'] = ctable
data['parity'] = "$%s$" % data['parity']
data['cclasses'] = conjclasses(G, n)
data['subinfo'] = subfield_display(C, n, data['subs'])
data['resolve'] = resolve_display(C, data['resolve'])
data['otherreps'] = wgg.otherrep_list()
if len(data['otherreps']) == 0:
data['otherreps']="There is no other low degree representation."
query={'galois': bson.SON([('n', n), ('t', t)])}
C = base.getDBConnection()
intreps = C.transitivegroups.Gmodules.find({'n': n, 't': t}).sort('index', pymongo.ASCENDING)
# turn cursor into a list
intreps = [z for z in intreps]
if len(intreps) > 0:
data['int_rep_classes'] = [str(z[0]) for z in intreps[0]['gens']]
for onerep in intreps:
onerep['gens']=[list_to_latex_matrix(z[1]) for z in onerep['gens']]
data['int_reps'] = intreps
data['int_reps_complete'] = int_reps_are_complete(intreps)
dcq = data['moddecompuniq']
if dcq[0] == 0:
data['decompunique'] = 0
else:
data['decompunique'] = dcq[0]
data['isoms'] = [[mult2mult(z[0]), mult2mult(z[1])] for z in dcq[1]]
data['isoms'] = [[modules2string(n,t,z[0]), modules2string(n,t,z[1])] for z in data['isoms']]
print dcq[1]
print data['isoms']
friends = []
one = C.numberfields.fields.find_one(query)
if one:
friends.append(('Number fields with this Galois group', url_for('number_fields.number_field_render_webpage')+"?galois_group=%dT%d" % (n, t) ))
prop2 = [
('Order:', '\(%s\)' % order),
('n:', '\(%s\)' % data['n']),
('Cyclic:', yesno(data['cyc'])),
('Abelian:', yesno(data['ab'])),
('Solvable:', yesno(data['solv'])),
('Primitive:', yesno(data['prim'])),
('$p$-group:', yesno(pgroup)),
]
pretty = group_display_pretty(n,t,C)
if len(pretty)>0:
prop2.extend([('Group:', pretty)])
info['pretty_name'] = pretty
data['name'] = re.sub(r'_(\d+)',r'_{\1}',data['name'])
data['name'] = re.sub(r'\^(\d+)',r'^{\1}',data['name'])
info.update(data)
bread = get_bread([(label, ' ')])
return render_template("gg-show-group.html", credit=GG_credit, title=title, bread=bread, info=info, properties2=prop2, friends=friends)
def gg(self):
if not self.haskey('gg'):
self._data['gg'] = WebGaloisGroup.from_nt(self.degree(),
self.galois_t())
return self._data['gg']
def render_group_webpage(args):
data = None
info = {}
if 'label' in args:
label = clean_input(args['label'])
label = label.replace('t', 'T')
C = base.getDBConnection()
data = C.transitivegroups.groups.find_one({'label': label})
if data is None:
bread = get_bread([("Search error", url_for('.search'))])
info['err'] = "Group " + label + " was not found in the database."
info['label'] = label
return search_input_error(info, bread)
data['label_raw'] = label.lower()
title = 'Galois Group: ' + label
wgg = WebGaloisGroup.from_data(data)
n = data['n']
t = data['t']
data['yesno'] = yesno
order = data['order']
data['orderfac'] = latex(ZZ(order).factor())
orderfac = latex(ZZ(order).factor())
data['ordermsg'] = "$%s=%s$" % (order, latex(orderfac))
if order == 1:
data['ordermsg'] = "$1$"
if ZZ(order).is_prime():
data['ordermsg'] = "$%s$ (is prime)" % order
pgroup = len(ZZ(order).prime_factors()) < 2
if n == 1:
G = gap.SmallGroup(n, t)
else:
G = gap.TransitiveGroup(n, t)
if ZZ(order) < ZZ('10000000000'):
ctable = chartable(n, t)
else:
ctable = 'Group too large'
data['gens'] = generators(n, t)
if n == 1 and t == 1:
data['gens'] = 'None needed'
data['chartable'] = ctable
data['parity'] = "$%s$" % data['parity']
data['cclasses'] = conjclasses(G, n)
data['subinfo'] = subfield_display(C, n, data['subs'])
data['resolve'] = resolve_display(C, data['resolve'])
data['otherreps'] = wgg.otherrep_list()
if len(data['otherreps']) == 0:
data['otherreps'] = "There is no other low degree representation."
query = {'galois': bson.SON([('n', n), ('t', t)])}
C = base.getDBConnection()
intreps = C.transitivegroups.Gmodules.find({
'n': n,
't': t
}).sort('index', pymongo.ASCENDING)
# turn cursor into a list
intreps = [z for z in intreps]
if len(intreps) > 0:
data['int_rep_classes'] = [str(z[0]) for z in intreps[0]['gens']]
for onerep in intreps:
onerep['gens'] = [
list_to_latex_matrix(z[1]) for z in onerep['gens']
]
data['int_reps'] = intreps
data['int_reps_complete'] = int_reps_are_complete(intreps)
dcq = data['moddecompuniq']
if dcq[0] == 0:
data['decompunique'] = 0
else:
data['decompunique'] = dcq[0]
data['isoms'] = [[mult2mult(z[0]),
mult2mult(z[1])] for z in dcq[1]]
data['isoms'] = [[
modules2string(n, t, z[0]),
modules2string(n, t, z[1])
] for z in data['isoms']]
print dcq[1]
print data['isoms']
friends = []
one = C.numberfields.fields.find_one(query)
if one:
friends.append(
('Number fields with this Galois group',
url_for('number_fields.number_field_render_webpage') +
"?galois_group=%dT%d" % (n, t)))
prop2 = [
('Order:', '\(%s\)' % order),
('n:', '\(%s\)' % data['n']),
('Cyclic:', yesno(data['cyc'])),
('Abelian:', yesno(data['ab'])),
('Solvable:', yesno(data['solv'])),
('Primitive:', yesno(data['prim'])),
('$p$-group:', yesno(pgroup)),
]
pretty = group_display_pretty(n, t, C)
if len(pretty) > 0:
prop2.extend([('Group:', pretty)])
info['pretty_name'] = pretty
data['name'] = re.sub(r'_(\d+)', r'_{\1}', data['name'])
data['name'] = re.sub(r'\^(\d+)', r'^{\1}', data['name'])
info.update(data)
bread = get_bread([(label, ' ')])
return render_template("gg-show-group.html",
credit=GG_credit,
title=title,
bread=bread,
info=info,
properties2=prop2,
friends=friends)
def render_group_webpage(args):
data = None
info = {}
if "label" in args:
label = clean_input(args["label"])
label = label.replace("t", "T")
C = base.getDBConnection()
data = C.transitivegroups.groups.find_one({"label": label})
if data is None:
bread = get_bread([("Search error", url_for(".search"))])
info["err"] = "Group " + label + " was not found in the database."
info["label"] = label
return search_input_error(info, bread)
title = "Galois Group: " + label
wgg = WebGaloisGroup.from_data(data)
n = data["n"]
t = data["t"]
data["yesno"] = yesno
order = data["order"]
data["orderfac"] = latex(ZZ(order).factor())
orderfac = latex(ZZ(order).factor())
data["ordermsg"] = "$%s=%s$" % (order, latex(orderfac))
if order == 1:
data["ordermsg"] = "$1$"
if ZZ(order).is_prime():
data["ordermsg"] = "$%s$ (is prime)" % order
pgroup = len(ZZ(order).prime_factors()) < 2
if n == 1:
G = gap.SmallGroup(n, t)
else:
G = gap.TransitiveGroup(n, t)
if ZZ(order) < ZZ("10000000000"):
ctable = chartable(n, t)
else:
ctable = "Group too large"
data["gens"] = generators(n, t)
if n == 1 and t == 1:
data["gens"] = "None needed"
data["chartable"] = ctable
data["parity"] = "$%s$" % data["parity"]
data["cclasses"] = conjclasses(G, n)
data["subinfo"] = subfield_display(C, n, data["subs"])
data["resolve"] = resolve_display(C, data["resolve"])
data["otherreps"] = wgg.otherrep_list()
if len(data["otherreps"]) == 0:
data["otherreps"] = "There is no other low degree representation."
query = {"galois": bson.SON([("n", n), ("t", t)])}
C = base.getDBConnection()
intreps = C.transitivegroups.Gmodules.find({"n": n, "t": t}).sort("index", pymongo.ASCENDING)
# turn cursor into a list
intreps = [z for z in intreps]
if len(intreps) > 0:
data["int_rep_classes"] = [str(z[0]) for z in intreps[0]["gens"]]
for onerep in intreps:
onerep["gens"] = [list_to_latex_matrix(z[1]) for z in onerep["gens"]]
data["int_reps"] = intreps
data["int_reps_complete"] = int_reps_are_complete(intreps)
dcq = data["moddecompuniq"]
if dcq[0] == 0:
data["decompunique"] = 0
else:
data["decompunique"] = dcq[0]
data["isoms"] = [[mult2mult(z[0]), mult2mult(z[1])] for z in dcq[1]]
data["isoms"] = [[modules2string(n, t, z[0]), modules2string(n, t, z[1])] for z in data["isoms"]]
print dcq[1]
print data["isoms"]
friends = []
one = C.numberfields.fields.find_one(query)
if one:
friends.append(
(
"Number fields with this Galois group",
url_for("number_fields.number_field_render_webpage") + "?galois_group=%dT%d" % (n, t),
)
)
prop2 = [
("Order:", "\(%s\)" % order),
("n:", "\(%s\)" % data["n"]),
("Cyclic:", yesno(data["cyc"])),
("Abelian:", yesno(data["ab"])),
("Solvable:", yesno(data["solv"])),
("Primitive:", yesno(data["prim"])),
("$p$-group:", yesno(pgroup)),
]
pretty = group_display_pretty(n, t, C)
if len(pretty) > 0:
prop2.extend([("Group:", pretty)])
info["pretty_name"] = pretty
data["name"] = re.sub(r"_(\d+)", r"_{\1}", data["name"])
data["name"] = re.sub(r"\^(\d+)", r"^{\1}", data["name"])
info.update(data)
bread = get_bread([(label, " ")])
return render_template(
"gg-show-group.html",
credit=GG_credit,
title=title,
bread=bread,
info=info,
properties2=prop2,
friends=friends,
)
def render_group_webpage(args):
data = None
info = {}
if 'label' in args:
label = clean_input(args['label'])
label = label.replace('t', 'T')
data = db.gps_transitive.lookup(label)
if data is None:
bread = get_bread([("Search Error", ' ')])
info['err'] = "Group " + label + " was not found in the database."
info['label'] = label
return search_input_error(info, bread)
data['label_raw'] = label.lower()
title = 'Galois Group: ' + label
wgg = WebGaloisGroup.from_data(data)
n = data['n']
t = data['t']
data['yesno'] = yesno
order = data['order']
data['orderfac'] = latex(ZZ(order).factor())
orderfac = latex(ZZ(order).factor())
data['ordermsg'] = "$%s=%s$" % (order, latex(orderfac))
if order == 1:
data['ordermsg'] = "$1$"
if ZZ(order).is_prime():
data['ordermsg'] = "$%s$ (is prime)" % order
pgroup = len(ZZ(order).prime_factors()) < 2
if n == 1:
G = gap.SmallGroup(n, t)
else:
G = gap.TransitiveGroup(n, t)
if ZZ(order) < ZZ('10000000000'):
ctable = chartable(n, t)
else:
ctable = 'Group too large'
data['gens'] = generators(n, t)
if n == 1 and t == 1:
data['gens'] = 'None needed'
data['chartable'] = ctable
data['parity'] = "$%s$" % data['parity']
data['cclasses'] = conjclasses(G, n)
data['subinfo'] = subfield_display(n, data['subs'])
data['resolve'] = resolve_display(data['resolve'])
if data['gapid'] == 0:
data['gapid'] = "Data not available"
else:
data['gapid'] = small_group_display_knowl(int(data['order']),
int(data['gapid']),
str([int(data['order']), int(data['gapid'])]))
data['otherreps'] = wgg.otherrep_list()
ae = wgg.arith_equivalent()
if ae>0:
if ae>1:
data['arith_equiv'] = r'A number field with this Galois group has %d <a knowl="nf.arithmetically_equivalent", title="arithmetically equivalent">arithmetically equivalent</a> fields.'% ae
else:
data['arith_equiv'] = r'A number field with this Galois group has exactly one <a knowl="nf.arithmetically_equivalent", title="arithmetically equivalent">arithmetically equivalent</a> field.'
else:
data['arith_equiv'] = r'A number field with this Galois group has no <a knowl="nf.arithmetically_equivalent", title="arithmetically equivalent">arithmetically equivalent</a> fields.'
if len(data['otherreps']) == 0:
data['otherreps']="There is no other low degree representation."
intreps = list(db.gps_gmodules.search({'n': n, 't': t}))
if len(intreps) > 0:
data['int_rep_classes'] = [str(z[0]) for z in intreps[0]['gens']]
for onerep in intreps:
onerep['gens']=[list_to_latex_matrix(z[1]) for z in onerep['gens']]
data['int_reps'] = intreps
data['int_reps_complete'] = int_reps_are_complete(intreps)
dcq = data['moddecompuniq']
if dcq[0] == 0:
data['decompunique'] = 0
else:
data['decompunique'] = dcq[0]
data['isoms'] = [[mult2mult(z[0]), mult2mult(z[1])] for z in dcq[1]]
data['isoms'] = [[modules2string(n,t,z[0]), modules2string(n,t,z[1])] for z in data['isoms']]
#print dcq[1]
#print data['isoms']
friends = []
if db.nf_fields.exists({'degree': n, 'galt': t}):
friends.append(('Number fields with this Galois group', url_for('number_fields.number_field_render_webpage')+"?galois_group=%dT%d" % (n, t) ))
prop2 = [('Label', label),
('Order', '\(%s\)' % order),
('n', '\(%s\)' % data['n']),
('Cyclic', yesno(data['cyc'])),
('Abelian', yesno(data['ab'])),
('Solvable', yesno(data['solv'])),
('Primitive', yesno(data['prim'])),
('$p$-group', yesno(pgroup)),
]
pretty = group_display_pretty(n,t)
if len(pretty)>0:
prop2.extend([('Group:', pretty)])
info['pretty_name'] = pretty
data['name'] = re.sub(r'_(\d+)',r'_{\1}',data['name'])
data['name'] = re.sub(r'\^(\d+)',r'^{\1}',data['name'])
info.update(data)
bread = get_bread([(label, ' ')])
return render_template("gg-show-group.html", credit=GG_credit, title=title, bread=bread, info=info, properties2=prop2, friends=friends)
def render_field_webpage(args):
data = None
info = {}
if 'label' in args:
label = clean_input(args['label'])
data = lfdb().find_one({'label': label})
if data is None:
bread = get_bread([("Search error", ' ')])
info['err'] = "Field " + label + " was not found in the database."
info['label'] = label
return search_input_error(info, bread)
title = 'Local Number Field ' + label
polynomial = coeff_to_poly(string2list(data['coeffs']))
p = data['p']
e = data['e']
f = data['f']
cc = data['c']
GG = data['gal']
gn = GG[0]
gt = GG[1]
the_gal = WebGaloisGroup.from_nt(gn,gt)
isgal = ' Galois' if the_gal.order() == gn else ' not Galois'
abelian = ' and abelian' if the_gal.is_abelian() else ''
galphrase = 'This field is'+isgal+abelian+' over $\Q_{%d}$.'%p
autstring = r'\Gal' if the_gal.order() == gn else r'\Aut'
prop2 = [
('Label', label),
('Base', '\(\Q_{%s}\)' % p),
('Degree', '\(%s\)' % data['n']),
('e', '\(%s\)' % e),
('f', '\(%s\)' % f),
('c', '\(%s\)' % cc),
('Galois group', group_display_short(gn, gt, db())),
]
Pt = PolynomialRing(QQ, 't')
Pyt = PolynomialRing(Pt, 'y')
eisenp = Pyt(str(data['eisen']))
unramp = Pyt(str(data['unram']))
# Look up the unram poly so we can link to it
unramdata = lfdb().find_one({'p': p, 'n': f, 'c': 0})
if unramdata is not None:
unramfriend = "/LocalNumberField/%s" % unramdata['label']
else:
logger.fatal("Cannot find unramified field!")
unramfriend = ''
rfdata = lfdb().find_one({'p': p, 'n': {'$in': [1, 2]}, 'rf': data['rf']})
if rfdata is None:
logger.fatal("Cannot find discriminant root field!")
rffriend = ''
else:
rffriend = "/LocalNumberField/%s" % rfdata['label']
gsm = data['gsm']
if gsm == '0':
gsm = 'Not computed'
elif gsm == '-1':
gsm = 'Does not exist'
else:
gsm = web_latex(coeff_to_poly(string2list(gsm)))
info.update({
'polynomial': web_latex(polynomial),
'n': data['n'],
'p': p,
'c': data['c'],
'e': data['e'],
'f': data['f'],
't': data['t'],
'u': data['u'],
'rf': printquad(data['rf'], p),
'hw': data['hw'],
'slopes': show_slopes(data['slopes']),
'gal': group_display_knowl(gn, gt, db()),
'gt': gt,
'inertia': group_display_inertia(data['inertia'], db()),
'unram': web_latex(unramp),
'eisen': web_latex(eisenp),
'gms': data['gms'],
'gsm': gsm,
'galphrase': galphrase,
'autstring': autstring,
'subfields': format_subfields(data['subfields'],p),
'aut': data['aut'],
})
friends = [('Galois group', "/GaloisGroup/%dT%d" % (gn, gt))]
if unramfriend != '':
friends.append(('Unramified subfield', unramfriend))
if rffriend != '':
friends.append(('Discriminant root field', rffriend))
bread = get_bread([(label, ' ')])
learnmore = [('Completeness of the data', url_for(".completeness_page")),
('Source of the data', url_for(".how_computed_page")),
('Local field labels', url_for(".labels_page"))]
return render_template("lf-show-field.html", credit=LF_credit, title=title, bread=bread, info=info, properties2=prop2, friends=friends, learnmore=learnmore)
def render_group_webpage(args):
data = None
info = {}
if 'label' in args:
label = clean_input(args['label'])
label = label.replace('t', 'T')
C = base.getDBConnection()
data = C.transitivegroups.groups.find_one({'label': label})
if data is None:
bread = get_bread([("Search error", url_for('.search'))])
info['err'] = "Group " + label + " was not found in the database."
info['label'] = label
return search_input_error(info, bread)
title = 'Galois Group:' + label
wgg = WebGaloisGroup.from_data(data)
n = data['n']
t = data['t']
data['yesno'] = yesno
order = data['order']
data['orderfac'] = latex(ZZ(order).factor())
orderfac = latex(ZZ(order).factor())
data['ordermsg'] = "$%s=%s$" % (order, latex(orderfac))
if order == 1:
data['ordermsg'] = "$1$"
if ZZ(order).is_prime():
data['ordermsg'] = "$%s$ (is prime)" % order
pgroup = len(ZZ(order).prime_factors()) < 2
if n == 1:
G = gap.SmallGroup(n, t)
else:
G = gap.TransitiveGroup(n, t)
if ZZ(order) < ZZ('10000000000'):
ctable = chartable(n, t)
else:
ctable = 'Group too large'
data['gens'] = generators(n, t)
if n == 1 and t == 1:
data['gens'] = 'None needed'
data['chartable'] = ctable
data['parity'] = "$%s$" % data['parity']
data['cclasses'] = conjclasses(G, n)
data['subinfo'] = subfield_display(C, n, data['subs'])
data['resolve'] = resolve_display(C, data['resolve'])
# if len(data['resolve']) == 0: data['resolve'] = 'None'
data['otherreps'] = wgg.otherrep_list()
query={'galois': bson.SON([('n', n), ('t', t)])}
C = base.getDBConnection()
intreps = C.transitivegroups.Gmodules.find({'n': n, 't': t})
# turn cursor into a list
intreps = [z for z in intreps]
data['int_reps'] = [galois_module_knowl(n, t, z['index'], C) for z in intreps]
data['int_reps_complete'] = int_reps_are_complete(intreps)
friends = []
one = C.numberfields.fields.find_one(query)
if one:
friends.append(('Number fields with this Galois group', url_for('number_fields.number_field_render_webpage')+"?galois_group=%dT%d" % (n, t) ))
prop2 = [
('Order:', '\(%s\)' % order),
('n:', '\(%s\)' % data['n']),
('Cyclic:', yesno(data['cyc'])),
('Abelian:', yesno(data['ab'])),
('Solvable:', yesno(data['solv'])),
('Primitive:', yesno(data['prim'])),
('$p$-group:', yesno(pgroup)),
('Name:', group_display_short(n, t, C)),
]
info.update(data)
bread = get_bread([(label, ' ')])
return render_template("gg-show-group.html", credit=GG_credit, title=title, bread=bread, info=info, properties2=prop2, friends=friends)
def render_field_webpage(args):
data = None
info = {}
if 'label' in args:
label = clean_input(args['label'])
data = db.lf_fields.lookup(label)
if data is None:
bread = get_bread([("Search Error", ' ')])
info['err'] = "Field " + label + " was not found in the database."
info['label'] = label
return search_input_error(info, bread)
title = 'Local Number Field ' + prettyname(data)
polynomial = coeff_to_poly(data['coeffs'])
p = data['p']
Qp = r'\Q_{%d}' % p
e = data['e']
f = data['f']
cc = data['c']
gt = data['gal']
gn = data['n']
the_gal = WebGaloisGroup.from_nt(gn,gt)
isgal = ' Galois' if the_gal.order() == gn else ' not Galois'
abelian = ' and abelian' if the_gal.is_abelian() else ''
galphrase = 'This field is'+isgal+abelian+' over $\Q_{%d}$.'%p
autstring = r'\Gal' if the_gal.order() == gn else r'\Aut'
prop2 = [
('Label', label),
('Base', '\(%s\)' % Qp),
('Degree', '\(%s\)' % data['n']),
('e', '\(%s\)' % e),
('f', '\(%s\)' % f),
('c', '\(%s\)' % cc),
('Galois group', group_display_short(gn, gt)),
]
# Look up the unram poly so we can link to it
unramlabel = db.lf_fields.lucky({'p': p, 'n': f, 'c': 0}, projection=0)
if unramlabel is None:
logger.fatal("Cannot find unramified field!")
unramfriend = ''
else:
unramfriend = "/LocalNumberField/%s" % unramlabel
unramdata = db.lf_fields.lookup(unramlabel)
Px = PolynomialRing(QQ, 'x')
Pxt=PolynomialRing(Px,'t')
Pt = PolynomialRing(QQ, 't')
Ptx = PolynomialRing(Pt, 'x')
if data['f'] == 1:
unramp = r'$%s$' % Qp
# Eliminate t from the eisenstein polynomial
eisenp = Pxt(str(data['eisen']).replace('y','x'))
eisenp = Pt(str(data['unram'])).resultant(eisenp)
eisenp = web_latex(eisenp)
else:
unramp = data['unram'].replace('t','x')
unramp = web_latex(Px(str(unramp)))
unramp = prettyname(unramdata)+' $\\cong '+Qp+'(t)$ where $t$ is a root of '+unramp
eisenp = Ptx(str(data['eisen']).replace('y','x'))
eisenp = '$'+web_latex(eisenp, False)+'\\in'+Qp+'(t)[x]$'
rflabel = db.lf_fields.lucky({'p': p, 'n': {'$in': [1, 2]}, 'rf': data['rf']}, projection=0)
if rflabel is None:
logger.fatal("Cannot find discriminant root field!")
rffriend = ''
else:
rffriend = "/LocalNumberField/%s" % rflabel
gsm = data['gsm']
if gsm == [0]:
gsm = 'Not computed'
elif gsm == [-1]:
gsm = 'Does not exist'
else:
gsm = web_latex(coeff_to_poly(gsm))
info.update({
'polynomial': web_latex(polynomial),
'n': data['n'],
'p': p,
'c': data['c'],
'e': data['e'],
'f': data['f'],
't': data['t'],
'u': data['u'],
'rf': lf_display_knowl( rflabel, name=printquad(data['rf'], p)),
'base': lf_display_knowl(str(p)+'.1.0.1', name='$%s$'%Qp),
'hw': data['hw'],
'slopes': show_slopes(data['slopes']),
'gal': group_display_knowl(gn, gt),
'gt': gt,
'inertia': group_display_inertia(data['inertia']),
'unram': unramp,
'eisen': eisenp,
'gms': data['gms'],
'gsm': gsm,
'galphrase': galphrase,
'autstring': autstring,
'subfields': format_subfields(data['subfields'],p),
'aut': data['aut'],
})
friends = [('Galois group', "/GaloisGroup/%dT%d" % (gn, gt))]
if unramfriend != '':
friends.append(('Unramified subfield', unramfriend))
if rffriend != '':
friends.append(('Discriminant root field', rffriend))
bread = get_bread([(label, ' ')])
learnmore = [('Completeness of the data', url_for(".completeness_page")),
('Source of the data', url_for(".how_computed_page")),
('Local field labels', url_for(".labels_page"))]
return render_template("lf-show-field.html", credit=LF_credit, title=title, bread=bread, info=info, properties2=prop2, friends=friends, learnmore=learnmore)
