Table lf_fields
Local number fields
Show schema
Hide schema
| Column |
Type |
Example |
| associated_inertia |
integer[] |
[1, 1] |
| aut |
smallint |
2 |
| c |
smallint |
40 |
| canonical_filtration |
text[] |
|
| coeffs |
jsonb |
[21, 8, 30, 20, 32, 60, 26, 76, 47, 40, 76, 16, 48, 32, 6, 28, 4, 4, 6, 0, 1] |
| ctr |
integer |
60 |
| ctr_family |
integer |
2 |
| ctr_subfamily |
integer |
130 |
| distinguished_residual_polynomials |
text[] |
['z^2 + t^3', 't^3*z + t^4 + t^3 + t^2 + t'] |
| e |
smallint |
4 |
| eisen |
text |
'x^4 + (4*t^4 + 4*t + 4)*x^3 + (2*t^3 + 2*t)*x^2 + (4*t^4 + 4*t + 4)*x + 2' |
| f |
smallint |
5 |
| family |
text |
'2.5.4.40b' |
| gal |
integer |
321 |
| galois_degree |
bigint |
5120 |
| galois_label |
text |
'20T321' |
| gms |
text |
|
| gsm |
jsonb |
[243, 0, 1296, 0, 2376, 0, 1512, 0, -375, 0, -788, 0, -177, 0, 60, 0, 11, 0, -2, 0, 1] |
| hidden |
text |
|
| hw |
text |
'$-i$' |
| ind_of_insep |
integer[] |
[5, 2, 0] |
| ind_of_insep_tmp |
text[] |
['5A', '2A', '0A'] |
| inertia |
jsonb |
['i', [-1, -1]] |
| inertia_gap |
integer[] |
|
| is_completion |
boolean |
False |
| jump_set |
integer[] |
[1, 3, 7] |
| label |
text |
'2.20.40.2715' |
| n |
smallint |
20 |
| new_label |
text |
'2.5.4.40b130.60' |
| num |
integer |
2715 |
| old_label |
text |
'2.20.40.2715' |
| p |
integer |
2 |
| packet |
text |
|
| packet_size |
integer |
|
| ppow_roots_of_unity |
smallint |
1 |
| ram_poly_vert |
integer[] |
[[1, 5], [2, 2], [4, 0]] |
| residual_polynomials |
text[] |
['z^2 + t^3', 't^3*z + (t^4 + t^3 + t^2 + t)'] |
| rf |
jsonb |
[-1, 1] |
| slopes |
text |
|
| slopes_tmp |
text[] |
|
| subfamily |
text |
'2.5.4.40b130' |
| subfield |
text[] |
['2.5.0.1', '2.10.10.3'] |
| subfield_mult |
integer[] |
[1, 1] |
| t |
smallint |
1 |
| top_slope |
text |
'03.0000000003' |
| u |
smallint |
5 |
| unram |
text |
't^5 + t^2 + 1' |
| visible |
text |
'[2, 3]' |
| visible_tmp |
text[] |
['2A', '3A'] |
| wild_gap |
integer[] |
|
{'associated_inertia': [1], 'aut': 8, 'c': 12, 'canonical_filtration': ['2.4.1.0a1.1', '2.4.1.0a1.1'], 'coeffs': [7, 6, 1, 0, 6, 2, 0, 0, 1], 'ctr': 9, 'ctr_family': 1, 'ctr_subfamily': 1, 'distinguished_residual_polynomials': ['z + 1'], 'e': 2, 'eisen': 'x^2 + 4*x + 2', 'f': 4, 'family': '2.4.2.12a', 'gal': 2, 'galois_degree': 8, 'galois_label': '8T2', 'gms': '1.5', 'gsm': [16, 0, 8, 0, 4, 0, 2, 0, 1], 'hidden': '[]', 'hw': '$-1$', 'id': 137, 'ind_of_insep': [2, 0], 'ind_of_insep_tmp': ['2A', '0A'], 'inertia': ['i', [2, 1]], 'inertia_gap': [2, 1], 'is_completion': True, 'jump_set': [1, 3], 'label': '2.8.12.1', 'n': 8, 'new_label': '2.4.2.12a1.9', 'num': 1, 'old_label': '2.8.12.1', 'p': 2, 'packet': '2.4.2.12a1.2a', 'packet_size': 2, 'ppow_roots_of_unity': 1, 'ram_poly_vert': [[1, 2], [2, 0]], 'residual_polynomials': ['z + 1'], 'rf': [1, 0], 'slopes': '[3]', 'slopes_tmp': ['3A'], 'subfamily': '2.4.2.12a1', 'subfield': ['2.2.0.1', '2.2.3.1', '2.2.3.2', '2.4.0.1', '2.4.6.1', '2.4.6.3'], 'subfield_mult': [1, 1, 1, 1, 1, 1], 't': 1, 'top_slope': '03.0000000003', 'u': 4, 'unram': 't^4 + t + 1', 'visible': '[3]', 'visible_tmp': ['3A'], 'wild_gap': [2, 1]}