CREATE TABLE nf_fields_extra (
	dirichlet_group	_int8,	-- For an abelian field, the list of Dirichlet characters corresponding to this field given in Conrey numbering with modulus being the conductor of the field
	frobs	jsonb,	-- List of Frobenius cycle types for the first few primes.  For ramified primes, we just give [0].
	id	bigint,	-- 
	label	text,	-- LMFDB label, formed by joining the degree, number of real places, absolute discriminant, and index with '.'. The index is a counter to distinguish fields which would otherwise have the same label
	res	jsonb,	-- Resolvent information. Currently, only certain types of siblings are represented. Each key is a type and the value is a list of coefficients of polredabs'ed polynomials. The types are 'gal' for Galois closure, 'ae' for arithmetically equivalent field, 'sex' for twin sextic algebra (for degree 6 fields only), and 'sib' for other siblings.
	source	text,	-- Knowl, possibly with parameters, which describe the source of the field
	subfield_inclusions	_int2,	-- inclusions for subfields; values are the order they appear in subfields;inclusions to Q and top field not give
	torsion_gen	text,	-- A generator of the torsion subgroup of the unit group as a latex string
	torsion_gen_coeffs	_numeric,	-- Generator of the torsion part of the unit group given as a vector of coefficients with respect to the integral basis
	units	jsonb,	-- list of generators of the units modulo torsion, stored as latex ready strings. If there is no class number, assume units are too hard to compute. If there is a class number but no units, units can be computed on the fly
	unitsGmodule	jsonb,	-- in some cases we have data on the units modulo torsion as an integral Galois module. In each pair, the first coordinate is an index to the database of integral representations of the finite group, and the second is the multiplicity with which this representation appears
	unitsType	text,	-- Type of unit group, modulo torsion, as a G-module where G is the Galois group
	units_coeffs	_numeric,	-- List of fundamental units given as vectors of coefficients with respect to the integral basis
	zk	jsonb 	-- an integral basis in terms of 'a', a root of the defining polynomial
);