def _init_components(self):
self._panes = PanedWindow(self, orient='horizontal', sashrelief="raised")
self._panes.pack(expand=True, fill='both')
self._left_pane = Frame(self._panes, padx=10, pady=5)
self._right_pane = PanedWindow(self._panes)
self._panes.add(self._left_pane, sticky='n')
self._panes.add(self._right_pane)
self._group_select = GroupSelect(self._left_pane)
self._group_select.pack(expand=True, fill='x')
# spacer
Frame(self._left_pane, height=10).pack()
graph_controls = LabelFrame(self._left_pane, text="Graph options", padx=10, pady=5)
graph_controls.columnconfigure(1, weight=1)
graph_controls.pack(expand=True, fill='x')
self._show_graph_checkbutton = CheckBox(graph_controls, text='Show graph')
self._show_graph_checkbutton.select()
self._show_graph_checkbutton.grid(row=0, columnspan=2, sticky='w')
Label(graph_controls, text='Algorithm').grid(row=1, sticky='w')
self._graph_type = OptionList(graph_controls, values=MainWindow.GRAPH_TYPES.keys())
self._graph_type.config(width=15)
self._graph_type.grid(row=1, column=1, sticky='we')
# spacer
Frame(self._left_pane, height=10).pack()
self._go_button = Button(self._left_pane, text='Go', command=self._go)
self._go_button.pack()
def _init_components(self):
# group type selection (alternating, classical, sporadic, exceptional)
group_type_frame = LabelFrame(self, text="Group type", padx=10, pady=5)
group_type_frame.pack(expand=True, fill='x')
# group type radio buttons (Alternating, Classical etc.)
self._group_type = StringVar()
self._type_radio_buttons = dict()
for group_type in ("Alternating", "Classical", "Exceptional", "Sporadic"):
radiobutton = Radiobutton(group_type_frame, variable=self._group_type, value=group_type, text=group_type)
radiobutton.pack(anchor='nw')
self._type_radio_buttons[group_type] = radiobutton
# set group type selection handler
self._group_type.trace("w", lambda n, i, m: self._group_type_selection())
# spacer
Frame(self, height=10).pack()
# parameters for each group (degree for alternating, field and dimension for classical etc.)
# notice that we do not pack LabelFrame contents. We do that in _group_type_selection method instead.
group_params_frame = LabelFrame(self, text="Parameters", padx=10, pady=5)
group_params_frame.pack(expand=True, fill='x')
# alternating
self._alt_params = Frame(group_params_frame)
self._alt_params.columnconfigure(1, weight=1)
Label(self._alt_params, text="Degree").grid(sticky='w')
self._alt_degree = NumberBox(self._alt_params, constraints=Constraints(min=5))
self._alt_degree.grid(row=0, column=1, sticky='we')
# classical
self._clas_params = Frame(group_params_frame)
self._clas_params.columnconfigure(1, weight=1)
Label(self._clas_params, text="Type").grid(row=0, sticky='w')
self._clas_type = OptionList(self._clas_params, values=ClassicalGroup.types())
self._clas_type.variable.trace("w", lambda n, i, m: self._classical_group_type_selection())
self._clas_type.grid(row=0, column=1, sticky='we')
Label(self._clas_params, text="Dimension").grid(row=1, sticky='w')
self._clas_dim = NumberBox(self._clas_params)
self._clas_dim.grid(row=1, column=1, sticky='we')
Label(self._clas_params, text="Field order").grid(row=2, sticky='w')
self._clas_field = NumberBox(self._clas_params, constraints=Constraints(primality=numeric.PRIME_POWER))
self._clas_field.grid(row=2, column=1, sticky='we')
self._classical_group_type_selection()
# exceptional
self._ex_params = Frame(group_params_frame)
self._ex_params.columnconfigure(1, weight=1)
Label(self._ex_params, text="Type").grid(row=0, sticky='w')
self._ex_type = OptionList(self._ex_params, values=ExceptionalGroup.types())
self._ex_type.setvar(value=ExceptionalGroup.types()[0])
self._ex_type.variable.trace("w", lambda n, i, m: self._exceptional_group_type_selection())
self._ex_type.grid(row=0, column=1, sticky='we')
Label(self._ex_params, text="Field order").grid(row=1, sticky='w')
self._ex_field = NumberBox(self._ex_params, constraints=Constraints(primality=numeric.PRIME_POWER))
self._ex_field.grid(row=1, column=1, sticky='we')
self._exceptional_group_type_selection()
# sporadic
self._spor_params = Frame(group_params_frame)
self._spor_params.columnconfigure(1, weight=1)
Label(self._spor_params, text="Group").grid(row=0, sticky='w')
self._sporadic_group = OptionList(self._spor_params, values=SporadicGroup.all_groups())
self._sporadic_group.grid(row=0, column=1, sticky='we')
