-
nf_fields • Show schema
Hide schema
{'class_group': [3], 'class_number': 3, 'cm': True, 'coeffs': [1, -1, 1, -1, 1, -1, 1, -1, 1, -1, 1, -1, 1, -1, 1, -1, 1, -1, 1, -1, 1, -1, 1], 'conductor': 23, 'degree': 22, 'dirichlet_group': [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22], 'disc_abs': 39471584120695485887249589623, 'disc_rad': 23, 'disc_sign': -1, 'frobs': [[2, [[11, 2]]], [3, [[11, 2]]], [5, [[22, 1]]], [7, [[22, 1]]], [11, [[22, 1]]], [13, [[11, 2]]], [17, [[22, 1]]], [19, [[22, 1]]], [23, [0]], [29, [[11, 2]]], [31, [[11, 2]]], [37, [[22, 1]]], [41, [[11, 2]]], [43, [[22, 1]]], [47, [[1, 22]]], [53, [[22, 1]]], [59, [[11, 2]]]], 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_disc_exponents': [21], 'galois_label': '22T1', 'galt': 1, 'grd': 19.944865695037844, 'index': 1, 'inessentialp': [], 'is_galois': True, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '22.0.39471584120695485887249589623.1', 'local_algs': ['23.22.21.17'], 'monogenic': 1, 'num_ram': 1, 'r2': 11, 'ramps': [23], 'rd': 19.944865695, 'regulator': {'__RealLiteral__': 0, 'data': '1038656.82438', 'prec': 44}, 'res': {}, 'subfield_mults': [1, 1], 'subfields': ['6.-1.1', '1.-6.-15.35.35.-56.-28.36.9.-10.-1.1'], 'torsion_gen': '\\( a \\)', 'torsion_order': 46, 'units': ['\\( a^{4} - a^{3} \\)', '\\( a^{4} - a \\)', '\\( a^{11} + a^{9} + a^{7} \\)', '\\( a^{20} - a^{3} \\)', '\\( a^{16} + a^{6} \\)', '\\( a^{11} + a^{9} \\)', '\\( a^{21} - a^{14} + a^{5} \\)', '\\( a^{11} - a^{8} + a^{5} \\)', '\\( a^{21} - a^{20} - a^{18} - a^{16} + a^{15} + a^{13} + a^{11} - a^{10} - a^{8} + a^{7} - a^{6} + a^{5} + a^{3} - a^{2} - 1 \\)', '\\( a^{16} + a^{8} + 1 \\)'], 'used_grh': False, 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5', 'a^6', 'a^7', 'a^8', 'a^9', 'a^10', 'a^11', 'a^12', 'a^13', 'a^14', 'a^15', 'a^16', 'a^17', 'a^18', 'a^19', 'a^20', 'a^21']}