Beispiel #1
0
    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]]
Beispiel #2
0
 def search_types(self, info):
     return [
         ("seminars", "Search for series"),
         BasicSpacer("Times in %s" %
                     (current_user.show_timezone("browse"))),
     ]