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):
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):
modulus = TextBox(
"modulus",
knowl="character.dirichlet.modulus",
label="Modulus",
example="13",
example_span="13",
)
conductor = TextBox(
"conductor",
knowl="character.dirichlet.conductor",
label="Conductor",
example="5",
example_span="5 or 10,20",
)
order = TextBox("order",
label="Order",
knowl="character.dirichlet.order",
example="2",
example_span="2 or 3-5")
parity = ParityBox("parity",
knowl="character.dirichlet.parity",
label="Parity",
example="odd")
is_primitive = YesNoBox("is_primitive",
label="Primitive",
knowl="character.dirichlet.primitive",
example="yes")
is_real = YesNoBox("is_real",
label="Real",
knowl="character.dirichlet.real",
example="yes")
is_minimal = YesNoBox("is_minimal",
label="Minimal",
knowl="character.dirichlet.minimal",
example="yes")
count = CountBox()
self.refine_array = [
[modulus, conductor, order, is_real],
[parity, is_primitive, is_minimal, count],
]
self.browse_array = [
[modulus],
[conductor],
[order],
[parity],
[is_primitive],
[is_real],
[is_minimal],
[count],
]
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):
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]]
