Table lf_fields
Local number fields
Show schema
Hide schema
| Column |
Type |
Example |
| associated_inertia |
integer[] |
[1, 1] |
| aut |
smallint |
2 |
| c |
smallint |
45 |
| canonical_filtration |
text[] |
|
| coeffs |
jsonb |
[11, 4, 16, 24, 26, 48, 26, 52, 43, 36, 56, 12, 38, 24, 6, 24, 2, 4, 6, 0, 1] |
| ctr |
integer |
1351 |
| ctr_family |
integer |
1 |
| ctr_subfamily |
integer |
4 |
| distinguished_residual_polynomials |
text[] |
['z^2 + t^2 + t + 1', '(t^2 + t + 1)*z + t^2 + t + 1'] |
| e |
smallint |
4 |
| eisen |
text |
'x^4 + 4*t*x^3 + (2*t^2 + 2*t + 2)*x^2 + (8*t^3 + 8*t + 8)*x + 2' |
| f |
smallint |
5 |
| family |
text |
'2.5.4.45a' |
| gal |
integer |
427 |
| galois_degree |
bigint |
10240 |
| galois_label |
text |
'20T427' |
| gms |
text |
|
| gsm |
jsonb |
[32, 0, -320, 0, 416, 0, 832, 0, -2720, 0, 2792, 0, -1284, 0, 216, 0, 24, 0, -12, 0, 1] |
| hidden |
text |
|
| hw |
text |
'$1$' |
| ind_of_insep |
integer[] |
[6, 2, 0] |
| ind_of_insep_tmp |
text[] |
['6A', '2A', '0A'] |
| inertia |
jsonb |
['i', [-1, -1]] |
| inertia_gap |
integer[] |
|
| is_completion |
boolean |
False |
| jump_set |
integer[] |
[1, 3, 7] |
| label |
text |
'2.20.45.5929' |
| n |
smallint |
20 |
| new_label |
text |
'2.5.4.45a4.1351' |
| num |
integer |
5929 |
| old_label |
text |
'2.20.45.5929' |
| p |
integer |
2 |
| packet |
text |
|
| packet_size |
integer |
|
| ppow_roots_of_unity |
smallint |
1 |
| ram_poly_vert |
integer[] |
[[1, 6], [2, 2], [4, 0]] |
| residual_polynomials |
text[] |
['z^2 + (t^2 + t + 1)', '(t^2 + t + 1)*z + (t^2 + t + 1)'] |
| rf |
jsonb |
[2, 0] |
| slopes |
text |
|
| slopes_tmp |
text[] |
|
| subfamily |
text |
'2.5.4.45a4' |
| subfield |
text[] |
['2.5.0.1', '2.10.10.10'] |
| subfield_mult |
integer[] |
[1, 1] |
| t |
smallint |
1 |
| top_slope |
text |
'03.5000000007/2' |
| u |
smallint |
5 |
| unram |
text |
't^5 + t^2 + 1' |
| visible |
text |
'[2, 7/2]' |
| visible_tmp |
text[] |
['2A', '7/2A'] |
| wild_gap |
integer[] |
|
{'associated_inertia': [1], 'aut': 16, 'c': 12, 'canonical_filtration': ['5.4.1.0a1.1', '5.4.4.12a1.1'], 'coeffs': [21, 128, 512, 1280, 2208, 2752, 2624, 2048, 1432, 864, 448, 192, 104, 16, 16, 0, 1], 'ctr': 4, 'ctr_family': 1, 'ctr_subfamily': 1, 'distinguished_residual_polynomials': ['z^3 + 4*z^2 + z + 4'], 'e': 4, 'eisen': 'x^4 + 5', 'f': 4, 'family': '5.4.4.12a', 'gal': 4, 'galois_degree': 16, 'galois_label': '16T4', 'gms': '0.75', 'gsm': [0], 'hidden': '[]', 'hw': '$-1$', 'id': 89574, 'ind_of_insep': [0], 'ind_of_insep_tmp': ['0A'], 'inertia': ['i', [4, 1]], 'inertia_gap': [4, 1], 'is_completion': True, 'jump_set': [1], 'label': '5.16.12.1', 'n': 16, 'new_label': '5.4.4.12a1.4', 'num': 1, 'old_label': '5.16.12.1', 'p': 5, 'packet': '5.4.4.12a1.4a', 'packet_size': 1, 'ppow_roots_of_unity': 1, 'ram_poly_vert': [[1, 0], [4, 0]], 'residual_polynomials': ['z^3 + 4*z^2 + z + 4'], 'rf': [1, 0], 'slopes': '[]', 'slopes_tmp': [], 'subfamily': '5.4.4.12a1', 'subfield': ['5.2.0.1', '5.2.1.1', '5.2.1.2', '5.4.0.1', '5.4.2.1', '5.4.2.2', '5.4.3.1', '5.4.3.2', '5.4.3.3', '5.4.3.4', '5.8.4.1', '5.8.6.1', '5.8.6.2'], 'subfield_mult': [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], 't': 4, 'top_slope': '01.0000000001', 'u': 4, 'unram': 't^4 + 4*t^2 + 4*t + 2', 'visible': '[]', 'visible_tmp': [], 'wild_gap': [1, 1]}