-
nf_fields • Show schema
Hide schema
{'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [-4, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1], 'conductor': 0, 'degree': 17, 'dirichlet_group': [], 'disc_abs': 54214017802701491200393216, 'disc_rad': 1654480523764083593762, 'disc_sign': 1, 'frobs': [[2, [0]], [3, [[17, 1]]], [5, [[12, 1], [3, 1], [2, 1]]], [7, [[7, 1], [5, 2]]], [11, [[11, 1], [4, 1], [2, 1]]], [13, [[8, 1], [5, 1], [2, 1], [1, 2]]], [17, [[17, 1]]], [19, [[12, 1], [3, 1], [1, 2]]], [23, [[7, 1], [5, 1], [3, 1], [2, 1]]], [29, [[9, 1], [7, 1], [1, 1]]], [31, [[11, 1], [4, 1], [1, 2]]], [37, [[11, 1], [4, 1], [1, 2]]], [41, [[17, 1]]], [43, [[15, 1], [2, 1]]], [47, [[17, 1]]], [53, [[15, 1], [2, 1]]], [59, [[14, 1], [2, 1], [1, 1]]]], 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': False, 'galois_label': '17T10', 'galt': 10, 'index': 1, 'inessentialp': [], 'is_galois': False, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '17.1.54214017802701491200393216.1', 'local_algs': ['2.1.0.1', 'm2.8.2.16', '67.2.1.2', '67.15.0.1', 'm12346869580328982043.1.2.0', 'm12346869580328982043.2.1.1', 'm12346869580328982043.1.5.0', 'm12346869580328982043.1.8.0'], 'monogenic': 0, 'num_ram': 3, 'r2': 8, 'ramps': [2, 67, 12346869580328982043], 'rd': 32.6415873531, 'regulator': {'__RealLiteral__': 0, 'data': '1828919.01859', 'prec': 44}, 'res': {}, 'subfield_mults': [], 'subfields': [], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( \\frac{1}{2} a^{9} - \\frac{1}{2} a - 1 \\)', '\\( \\frac{1}{2} a^{13} - \\frac{1}{2} a^{9} + \\frac{1}{2} a^{5} - \\frac{1}{2} a - 1 \\)', '\\( \\frac{1}{2} a^{15} - \\frac{1}{2} a^{13} + \\frac{1}{2} a^{11} - \\frac{1}{2} a^{9} + \\frac{1}{2} a^{7} - \\frac{1}{2} a^{5} + \\frac{1}{2} a^{3} - \\frac{1}{2} a - 1 \\)', '\\( \\frac{1}{2} a^{15} - \\frac{1}{2} a^{14} + \\frac{1}{2} a^{13} - \\frac{1}{2} a^{12} - \\frac{1}{2} a^{9} + a^{8} - \\frac{1}{2} a^{7} + \\frac{1}{2} a^{6} - \\frac{1}{2} a^{5} - \\frac{1}{2} a^{4} + a^{3} - a^{2} + \\frac{1}{2} a - 1 \\)', '\\( \\frac{1}{2} a^{11} - a^{5} + \\frac{1}{2} a^{3} + a^{2} - 1 \\)', '\\( \\frac{1}{2} a^{16} - \\frac{1}{2} a^{15} + \\frac{1}{2} a^{14} - \\frac{1}{2} a^{13} + \\frac{1}{2} a^{12} - \\frac{1}{2} a^{11} + \\frac{1}{2} a^{10} - \\frac{1}{2} a^{9} + \\frac{1}{2} a^{8} - \\frac{1}{2} a^{7} + \\frac{1}{2} a^{6} - \\frac{1}{2} a^{5} + \\frac{1}{2} a^{4} - \\frac{1}{2} a^{3} + \\frac{1}{2} a^{2} - \\frac{1}{2} a - 1 \\)', '\\( \\frac{1}{2} a^{14} - \\frac{1}{2} a^{13} + \\frac{1}{2} a^{12} + \\frac{1}{2} a^{9} + a^{7} - \\frac{1}{2} a^{6} + \\frac{1}{2} a^{5} + \\frac{1}{2} a^{4} - a^{3} + a^{2} - \\frac{1}{2} a + 1 \\)', '\\( a^{15} + a^{14} - \\frac{3}{2} a^{13} - a^{12} + 2 a^{11} + \\frac{1}{2} a^{10} - \\frac{1}{2} a^{9} - 2 a^{8} + a^{7} + 3 a^{6} - \\frac{5}{2} a^{5} - 2 a^{4} + a^{3} + \\frac{7}{2} a^{2} - \\frac{1}{2} a - 5 \\)'], 'used_grh': True, 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5', 'a^6', 'a^7', 'a^8', '1/2*a^9 - 1/2*a', '1/2*a^10 - 1/2*a^2', '1/2*a^11 - 1/2*a^3', '1/2*a^12 - 1/2*a^4', '1/2*a^13 - 1/2*a^5', '1/2*a^14 - 1/2*a^6', '1/2*a^15 - 1/2*a^7', '1/2*a^16 - 1/2*a^8']}