Path: blob/main/scripts/belyi/passport_new_attrs.py
1127 views
from lmfdb import db1def assign_passport_triples(rec):2"""3Given a passport rec, find all galmaps belonging to rec and save their triples to rec['triples']4"""5galmaps = db.belyi_galmaps.search({'plabel':rec['plabel']})6trips = []7for g in galmaps:8trips.extend(g['triples'])9rec['triples'] = trips10return rec1112def assign_automorphism_group(rec):13"""14Given a passport rec, compute its automorphism group as the centralizer of its monodromy group15"""16galmap = db.belyi_galmaps.lucky({'plabel':rec['plabel']})17rec['aut_group'] = galmap['aut_group']18return rec1920def assign_group_num(rec):21"""22Given a passport rec, assign its group number (the m in the dTm)23"""24galmap = db.belyi_galmaps.lucky({'plabel':rec['plabel']})25rec['group_num'] = galmap['group_num']26return rec272829