def __init__(self): dimension = TextBox(name="dimension", label="Dimension", knowl="artin.dimension", example="2", example_span="1, 2-4") conductor = TextBox(name="conductor", label="Conductor", knowl="artin.conductor", example="51,100-200") group = TextBoxNoEg( name="group", label="Group", knowl="artin.gg_quotient", example="A5", example_span= "list of %s, e.g. [8,3] or [16,7], group names from the %s, e.g. C5 or S12, and %s, e.g., 7T2 or 11T5" % (display_knowl("group.small_group_label", "GAP id's"), display_knowl("nf.galois_group.name", "list of group labels"), display_knowl("gg.label", "transitive group labels"))) parity = ParityBox(name="parity", label="Parity", knowl="artin.parity") container = TextBox(name="container", label="Smallest permutation container", knowl="artin.permutation_container", example="6T13", example_span="6T13 or 7T6") ram_quantifier = SubsetNoExcludeBox(name="ram_quantifier") ramified = TextBoxWithSelect(name="ramified", label="Ramified primes", knowl="artin.ramified_primes", example="2, 3", select_box=ram_quantifier, example_span="2, 3 (no range allowed)") unramified = TextBox(name="unramified", label="Unramified primes", knowl="artin.unramified_primes", example="5,7", example_span="5, 7, 13 (no range allowed)") root_number = TextBoxNoEg(name="root_number", label="Root number", knowl="artin.root_number", example="1", example_span="at the moment, one of 1 or -1") fsind = TextBoxNoEg( name="frobenius_schur_indicator", label="Frobenius-Schur indicator", knowl="artin.frobenius_schur_indicator", example="1", example_span= "+1 for orthogonal, -1 for symplectic, 0 for non-real character") count = CountBox() self.browse_array = [[dimension], [conductor], [group], [parity], [container], [ramified], [unramified], [root_number], [fsind], [count]] self.refine_array = [[ dimension, conductor, group, root_number, parity ], [container, ramified, unramified, fsind]]
def __init__(self): parity = ParityBox(name="parity", label="Parity", knowl="gg.parity", width=50, short_width=170) cyc = YesNoBox(name="cyc", label="Cyclic", knowl="group.cyclic", width=50, short_width=170) solv = YesNoBox(name="solv", label="Solvable", knowl="group.solvable", width=50, short_width=170) prim = YesNoBox(name="prim", label="Primitive", knowl="gg.primitive", width=50, short_width=170) n = TextBox(name="n", label="Degree", knowl="gg.degree", example="6", example_span="6 or 4,6 or 2..5 or 4,6..8") t = TextBox(name="t", label="$T$-number", knowl="gg.tnumber", example="3", example_span="3 or 4,6 or 2..5 or 4,6..8") order = TextBox(name="order", label="Order", knowl="group.order", example="6", example_span="6 or 4,6 or 2..35 or 4,6..80") gal = TextBoxNoEg( name="gal", label="Group", knowl="group", example="[8,3]", example_span= "list of %s, e.g. [8,3] or [16,7], group names from the %s, e.g. C5 or S12, and %s, e.g., 7T2 or 11T5" % (display_knowl("group.small_group_label", "GAP id's"), display_knowl("nf.galois_group.name", "list of group labels"), display_knowl("gg.label", "transitive group labels"))) nilpotency = TextBox(name="nilpotency", label="Nilpotency class", knowl="group.nilpotent", example="1..100", example_span="-1, or 1..3") count = TextBox(name="count", label="Results to display", example=50) self.bool_array = [[parity, cyc, solv, prim]] self.browse_array = [[n], [t], [order], [gal], [nilpotency], [count]] self.refine_array = [[parity, cyc, solv, prim], [n, t, order, gal, nilpotency]]
def __init__(self): parity = ParityBox(name="parity", label="Parity", knowl="gg.parity") cyc = YesNoBox(name="cyc", label="Cyclic", knowl="group.cyclic") solv = YesNoBox(name="solv", label="Solvable", knowl="group.solvable") prim = YesNoBox(name="prim", label="Primitive", knowl="gg.primitive") n = TextBox(name="n", label="Degree", knowl="gg.degree", example="6", example_span="6 or 4,6 or 2..5 or 4,6..8") t = TextBox(name="t", label="$T$-number", knowl="gg.tnumber", example="3", example_span="3 or 4,6 or 2..5 or 4,6..8") order = TextBox(name="order", label="Order", knowl="group.order", example="6", example_span="6 or 4,6 or 2..35 or 4,6..80") gal = TextBoxNoEg( name="gal", label="Group", knowl="group", example_span_colspan=8, example="[8,3]", example_span= "list of %s, e.g. [8,3] or [16,7], group names from the %s, e.g. C5 or S12, and %s, e.g., 7T2 or 11T5" % (display_knowl("group.small_group_label", "GAP id's"), display_knowl("nf.galois_group.name", "list of group labels"), display_knowl("gg.label", "transitive group labels"))) nilpotency = TextBox(name="nilpotency", label="Nilpotency class", knowl="group.nilpotent", example="1..100", example_span="-1, or 1..3") arith_equiv = TextBox(name="arith_equiv", label="Equivalent siblings", knowl="gg.arithmetically_equiv_input", example="1", example_span="1 or 2,3 or 1..5 or 1,3..10") count = CountBox() self.browse_array = [[n, parity], [t, cyc], [order, solv], [nilpotency, prim], [gal], [arith_equiv], [count]] self.refine_array = [[parity, cyc, solv, prim, arith_equiv], [n, t, order, gal, nilpotency]]
def __init__(self): degree = TextBox(name='n', label='Degree', knowl='lf.degree', example='6', example_span='6, or a range like 3..5') qp = TextBox(name='p', label=r'Prime $p$ for base field $\Q_p$', short_label='Prime $p$', knowl='lf.qp', example='3', example_span='3, or a range like 3..7') c = TextBox(name='c', label='Discriminant exponent $c$', knowl='lf.discriminant_exponent', example='8', example_span='8, or a range like 2..6') e = TextBox(name='e', label='Ramification index $e$', knowl='lf.ramification_index', example='3', example_span='3, or a range like 2..6') topslope = TextBox( name='topslope', label='Top slope', knowl='lf.top_slope', example='4/3', example_span='0, 1, 2, 4/3, 3.5, or a range like 3..5') gal = TextBoxNoEg( name='gal', label='Galois group $G$', short_label='Galois group', knowl='nf.galois_group', example='5T3', example_span= 'list of %s, e.g. [8,3] or [16,7], group names from the %s, e.g. C5 or S12, and %s, e.g., 7T2 or 11T5' % (display_knowl('group.small_group_label', "GAP id's"), display_knowl('nf.galois_group.name', 'list of group labels'), display_knowl('gg.label', 'transitive group labels'))) results = TextBox( "count", label="Results to display", example=50, ) self.browse_array = [[degree], [qp], [c], [e], [topslope], [gal], [results]] self.refine_array = [[degree, c, gal], [qp, e, topslope]]
def __init__(self): degree = TextBox(name="degree", label="Degree", knowl="hgm.degree", example="4", extra=['class="family"']) weight = TextBox(name="weight", label="Weight", knowl="hgm.weight", example="3", extra=['class="family"']) famhodge = TextBox(name="famhodge", label="Family Hodge vector", knowl="hgm.familyhodgevector", example="[1,1,1,1]", extra=['class="family"']) A = TextBox(name="A", label="$A$", knowl="hgm.defining_parameters", example="[3,2,2]", extra=['class="family"']) B = TextBox(name="B", label="$B$", knowl="hgm.defining_parameters", example="[6,4]", extra=['class="family"']) p = SelectBox(name="p", label="Prime $p$", example_col=True, options=[("", 2), ("3", 3), ("5", 5), ("7", 7)]) Ap = TextBox(name="Ap", label="$A_p$", knowl="hgm.defining_parameter_ppart", example="[2,2,1,1]", extra=['class="family"']) Bp = TextBox(name="Bp", label="$B_p$", knowl="hgm.defining_parameter_ppart", example="[2,2,1,1]", extra=['class="family"']) Apperp = TextBox(name="Apperp", label=r"$A^\perp_p$", knowl="hgm.defining_parameter_primetoppart", example="[2,2,1,1]", extra=['class="family"']) Bpperp = TextBox(name="Bpperp", label=r"$B^\perp_p$", knowl="hgm.defining_parameter_primetoppart", example="[2,2,1,1]", extra=['class="family"']) spacer = BasicSpacer("") conductor = TextBox( name="conductor", label="Conductor", knowl="hgm.conductor", example="64", example_span= "a value, like 32, a list, like 32,64, or a range like 1..10000") hodge = TextBox(name="hodge", label="Hodge vector", knowl="mot.hodgevector", example="[1,1,1,1]") t = TextBox( name="t", label="Specialization point $t$", knowl="hgm.specpoint", example="3/2", example_span= "3/2 (1 has an associated degree drop and is always in the database)" ) sign = TextBoxNoEg( name="sign", label=r"Root number $\epsilon$", knowl="lfunction.sign", example="-1", example_span= "1 or -1, with -1 occurring only in the symplectic case") # The following two boxes are not yet enabled #generic = YesNoBox( # name="generic", # label="Generic", # knowl="hgm.generic") #irreducible = YesNoBox( # name="irreducible", # label="Irreducible", # knowl="hgm.irreducible") count = CountBox() self.family_array = [[degree, weight], [famhodge, A, B], [p, Ap, Bp], [spacer, Apperp, Bpperp]] self.motive_array = [[conductor], [hodge], [t], [sign], [count]] self.refine_family_array = [[degree, weight, famhodge, A, B], [p, Ap, Bp, Apperp, Bpperp]] self.refine_motive_array = [[degree, weight, famhodge, A, B], [conductor, t, hodge, sign], [p, Ap, Bp, Apperp, Bpperp]]
def __init__(self): degree = TextBox(name="degree", label="Degree", knowl="nf.degree", example=3) signature = TextBox(name="signature", label="Signature", knowl="nf.signature", example="[1,1]") discriminant = TextBox(name="discriminant", label="Discriminant", knowl="nf.discriminant", example="-1000..-1", example_span="-3 or 1000-2000") rd = TextBox(name="rd", label="Root discriminant", knowl="nf.root_discriminant", example="1..4.3", example_span="a range such as 1..4.3 or 3-10") cm_field = YesNoBox(name="cm_field", label="CM field", knowl="nf.cm_field") gal = TextBoxNoEg( name="galois_group", label="Galois group", knowl="nf.galois_group", example="C5", example_span_colspan=4, example_span= "%s, e.g. [8,3] or [16,7]; %s, e.g. C5 or S12; %s, e.g., 7T2 or 11T5" % (display_knowl("group.small_group_label", "GAP id's"), display_knowl("nf.galois_group.name", "group names"), display_knowl("gg.label", "transitive group labels"))) regulator = TextBox(name="regulator", label="Regulator", knowl="nf.regulator", example="1..3.5", example_span="a range such as 1..3.5") class_number = TextBox(name="class_number", label="Class number", knowl="nf.class_number", example="5") class_group = TextBox(name="class_group", label="Class group structure", knowl="nf.ideal_class_group", example="[2,4]", example_span="[ ], [3], or [2,4]") num_ram = TextBox(name="num_ram", label="Ramified prime count", knowl="nf.ramified_primes", example=2) ram_quantifier = SubsetNoExcludeBox(name="ram_quantifier") ram_primes = TextBoxWithSelect(name="ram_primes", label="Ramified", knowl="nf.ramified_primes", example="2,3", select_box=ram_quantifier) ur_primes = TextBox(name="ur_primes", label="Unramified primes", knowl="nf.unramified_prime", example="2,3") subfield = TextBox(name="subfield", label="Intermediate field", knowl="nf.intermediate_fields", example_span="2.2.5.1 or x^2-5 or a " + display_knowl("nf.nickname", "field nickname"), example="x^2-5") count = CountBox() self.browse_array = [[degree, signature], [discriminant, rd], [gal], [class_number, class_group], [num_ram, cm_field], [ram_primes, ur_primes], [regulator, subfield], [count]] self.refine_array = [[ degree, signature, gal, class_number, class_group ], [regulator, num_ram, ram_primes, ur_primes, cm_field], [discriminant, rd, subfield]]
def __init__(self): degree = TextBox(name='n', label='Degree', knowl='lf.degree', example='6', example_span='6, or a range like 3..5') qp = TextBox(name='p', label=r'Residue field characteristic', short_label='Residue characteristic', knowl='lf.residue_field', example='3', example_span='3, or a range like 3..7') c = TextBox(name='c', label='Discriminant exponent', knowl='lf.discriminant_exponent', example='8', example_span='8, or a range like 2..6') e = TextBox(name='e', label='Ramification index', knowl='lf.ramification_index', example='3', example_span='3, or a range like 2..6') f = TextBox(name='f', label='Residue field degree', knowl='lf.residue_field_degree', example='3', example_span='3, or a range like 2..6') topslope = TextBox( name='topslope', label='Top slope', knowl='lf.top_slope', example='4/3', example_span='0, 1, 2, 4/3, 3.5, or a range like 3..5') gal = TextBoxNoEg( name='gal', label='Galois group', short_label='Galois group', knowl='nf.galois_group', example='5T3', example_span= 'list of %s, e.g. [8,3] or [16,7], group names from the %s, e.g. C5 or S12, and %s, e.g., 7T2 or 11T5' % (display_knowl('group.small_group_label', "GAP id's"), display_knowl('nf.galois_group.name', 'list of group labels'), display_knowl('gg.label', 'transitive group labels'))) u = TextBox(name='u', label='Galois unramified degree', knowl='lf.unramified_degree', example='3', example_span='3, or a range like 1..4') t = TextBox(name='t', label='Galois tame degree', knowl='lf.tame_degree', example='2', example_span='2, or a range like 2..3') inertia = TextBox( name='inertia_gap', label='Inertia subgroup', knowl='lf.inertia_group_search', example='[3,1]', example_span= 'a %s, e.g. [8,3] or [16,7], a group name from the %s, e.g. C5 or S12, or a %s, e.g., 7T2 or 11T5' % (display_knowl('group.small_group_label', "GAP id"), display_knowl('nf.galois_group.name', 'list of group labels'), display_knowl('gg.label', 'transitive group label'))) wild = TextBox( name='wild_gap', label='Wild inertia subgroup', knowl='lf.wild_inertia_group_search', example='[4,1]', example_span= 'a %s, e.g. [8,3] or [16,7], a group name from the %s, e.g. C5 or S12, or a %s, e.g., 7T2 or 11T5' % (display_knowl('group.small_group_label', "GAP id"), display_knowl('nf.galois_group.name', 'list of group labels'), display_knowl('gg.label', 'transitive group label'))) results = CountBox() self.browse_array = [[degree], [qp], [c], [e], [f], [topslope], [u], [t], [gal], [inertia], [wild], [results]] self.refine_array = [[degree, qp, gal, u], [e, c, inertia, t], [f, topslope, wild]]
def __init__(self): dimension = TextBox( name="dimension", label="Dimension", knowl="artin.dimension", example="2", example_span="1, 2-4") conductor = TextBox( name="conductor", label="Conductor", knowl="artin.conductor", example="51,100-200") group = TextBoxNoEg( name="group", label="Group", knowl="artin.gg_quotient", example="A5", example_span="%s, e.g. [8,3] or [16,7];%s, e.g. C5 or S12; %s, e.g., 7T2 or 11T5" % ( display_knowl("group.small_group_label", "GAP id's"), display_knowl("nf.galois_group.name", "group names"), display_knowl("gg.label", "transitive group labels"))) parity = ParityBox( name="parity", label="Parity", knowl="artin.parity") container = TextBox( name="container", label="Smallest permutation container", short_label="Smallest permutation", knowl="artin.permutation_container", example="6T13", example_span="6T13 or 7T6") ram_quantifier = SubsetNoExcludeBox( name="ram_quantifier") ramified = TextBoxWithSelect( name="ramified", label="Ramified primes", short_label="Ramified", knowl="artin.ramified_primes", example="2, 3", select_box=ram_quantifier, example_span="2, 3 (no range allowed)") unramified = TextBox( name="unramified", label="Unramified primes", knowl="artin.unramified_primes", example="5,7", example_span="5, 7, 13 (no range allowed)") num_ram = TextBox( name="num_ram", label="Ramified prime count", knowl="artin.ramified_primes", example="1") root_number = TextBoxNoEg( name="root_number", label="Root number", knowl="artin.root_number", example="1", example_span="at the moment, one of 1 or -1") fsind = TextBoxNoEg( name="frobenius_schur_indicator", label="Frobenius-Schur indicator", short_label="Frobenius-Schur", knowl="artin.frobenius_schur_indicator", example="1", example_span="+1 for orthogonal, -1 for symplectic, 0 for non-real character") projective_image = TextBoxNoEg( name='projective_image', label='Projective image', knowl='artin.projective_image', example_span="a GAP id, such as [4,1] or [12,5], a transitive group in nTj notation, such as 5T1, or a <a title = 'Galois group labels' knowl='nf.galois_group.name'>group label</a>.", example='D5') projective_image_type = SelectBoxNoEg( name='projective_image_type', knowl='artin.projective_image_type', label='Projective image type', example_span='', options=[('', ''), ('Dn', 'Dn'), ('A4', 'A4'), ('S4', 'S4'), ('A5','A5')]) count = CountBox() self.browse_array = [ [dimension], [conductor], [group], [parity], [container], [ramified], [unramified], [num_ram], [root_number], [fsind], [projective_image], [projective_image_type], [count]] self.refine_array = [ [dimension, conductor, group, root_number, parity], [container, ramified, unramified, num_ram, fsind], [projective_image, projective_image_type]]
def __init__(self): degree = TextBox(name="degree", label="Degree", knowl="nf.degree", example=3) signature = TextBox(name="signature", label="Signature", knowl="nf.signature", example="[1,1]") discriminant = TextBox(name="discriminant", label="Discriminant", knowl="nf.discriminant", example="-1000..-1", example_span="-3 or 1000-2000") rd = TextBox(name="rd", label="Root discriminant", knowl="nf.root_discriminant", example="1..4.3", example_span="a range such as 1..4.3 or 3-10") cm_field = YesNoBox(name="cm_field", label="CM field", knowl="nf.cm_field") gal = TextBoxNoEg( name="galois_group", label="Galois group", knowl="nf.galois_group", example="C5", example_span_colspan=4, example_span= "list of %s, e.g. [8,3] or [16,7], group names from the %s, e.g. C5 or S12, and %s, e.g., 7T2 or 11T5" % (display_knowl("group.small_group_label", "GAP id's"), display_knowl("nf.galois_group.name", "list of group labels"), display_knowl("gg.label", "transitive group labels"))) regulator = TextBox(name="regulator", label="Regulator", knowl="nf.regulator", example="1..3.5", example_span="a range such as 1..3.5") class_number = TextBox(name="class_number", label="Class number", knowl="nf.class_number", example="5") class_group = TextBox(name="class_group", label="Class group structure", knowl="nf.ideal_class_group", example="[2,4]", example_span="[ ], [3], or [2,4]") num_ram = TextBox(name="num_ram", label="Number of ramified primes", knowl="nf.ramified_primes", example=2) ram_quantifier = SubsetBox(name="ram_quantifier", width=50) ram_primes = TextBoxWithSelect(name="ram_primes", label="Ram. primes", knowl="nf.ramified_primes", example="2,3", select_box=ram_quantifier) ur_primes = TextBox(name="ur_primes", label="Unramified primes", knowl="nf.unramified_prime", example="2,3") count = TextBox(name="count", label="Results to display", example=50) self.browse_array = [[degree, signature], [discriminant, rd], [gal], [class_number, class_group], [num_ram, cm_field], [ram_primes, ur_primes], [regulator], [count]] self.refine_array = [[ degree, signature, gal, class_number, class_group ], [regulator, num_ram, ram_primes, ur_primes, cm_field], [discriminant, rd]]