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]]
