Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
AndrewVSutherland
GitHub Repository: AndrewVSutherland/lmfdb
Path: blob/main/scripts/belyi/passport_new_attrs.py
1127 views
1
from lmfdb import db
2
def assign_passport_triples(rec):
3
"""
4
Given a passport rec, find all galmaps belonging to rec and save their triples to rec['triples']
5
"""
6
galmaps = db.belyi_galmaps.search({'plabel':rec['plabel']})
7
trips = []
8
for g in galmaps:
9
trips.extend(g['triples'])
10
rec['triples'] = trips
11
return rec
12
13
def assign_automorphism_group(rec):
14
"""
15
Given a passport rec, compute its automorphism group as the centralizer of its monodromy group
16
"""
17
galmap = db.belyi_galmaps.lucky({'plabel':rec['plabel']})
18
rec['aut_group'] = galmap['aut_group']
19
return rec
20
21
def assign_group_num(rec):
22
"""
23
Given a passport rec, assign its group number (the m in the dTm)
24
"""
25
galmap = db.belyi_galmaps.lucky({'plabel':rec['plabel']})
26
rec['group_num'] = galmap['group_num']
27
return rec
28
29