def __init__(self, **kwargs):
DialogWindow.__init__(self, modal=True, close=True)
v = VerticalPanel()
v.setWidth(300)
# v.setHeight(500)
self.setText("definition")
self.setPopupPosition(100, 100)
self.setStyleAttribute("background-color", "#ffffff")
self.setStyleAttribute("color", "#9847a2")
self.setStyleAttribute("border-width", "5px")
self.setStyleAttribute("border-style", "solid")
h = HorizontalPanel()
self.textbox_name = TextBox()
h.add(Label("name"))
h.add(self.textbox_name)
v.add(h)
h = HorizontalPanel()
self.textbox_scheme = TextBox()
h.add(Label("print scheme"))
h.add(self.textbox_scheme)
v.add(h)
self.add(v)
self.theorems = list()
self.radios = list()
for t in Theorem.theorems:
if t.formula.is_in_unique_form():
self.theorems.append(t)
self.radios.append(RadioButton("group1", ""))
h = HorizontalPanel()
h.add(self.radios[-1])
im = Image()
im.setUrl(latex_to_url(t.formula.to_latex()))
h.add(im)
v.add(h)
v.add(Button("Done", self.done_click))
def __init__(self, theorem, **kwargs):
DialogWindow.__init__(self, modal=True, close=True)
self.theorem = theorem
v = VerticalPanel()
v.setWidth(300)
# v.setHeight(500)
self.setText("save")
self.setPopupPosition(100, 100)
self.setStyleAttribute("background-color", "#ffffff")
self.setStyleAttribute("color", "red")
self.setStyleAttribute("border-width", "5px")
self.setStyleAttribute("border-style", "solid")
self.im = Image()
self.im.setUrl(latex_to_url(self.theorem.formula.to_latex()))
v.add(self.im)
h = HorizontalPanel()
self.radio = RadioButton("group1", "Existing folder:")
h.add(self.radio)
self.list = ListBox()
self.list.setVisibleItemCount(1)
for f in Theorem.get_all_folders():
self.list.addItem(f)
h.add(self.list)
v.add(h)
h = HorizontalPanel()
h.add(RadioButton("group1", "New folder:"))
self.radio.setChecked(True)
self.textbox = TextBox()
h.add(self.textbox)
v.add(h)
v.add(Button("Done", self.done_click))
self.add(v)
def __init__(self, theorem, **kwargs):
DialogWindow.__init__(self, modal=True, close=True)
self.theorem=theorem
v = VerticalPanel()
v.setWidth(300)
# v.setHeight(500)
self.setText("save")
self.setPopupPosition(100, 100)
self.setStyleAttribute("background-color", "#ffffff")
self.setStyleAttribute("color", "red")
self.setStyleAttribute("border-width", "5px")
self.setStyleAttribute("border-style", "solid")
self.im=Image()
self.im.setUrl(latex_to_url(self.theorem.formula.to_latex()))
v.add(self.im)
h=HorizontalPanel()
self.radio=RadioButton("group1", "Existing folder:")
h.add(self.radio)
self.list = ListBox()
self.list.setVisibleItemCount(1)
for f in Theorem.get_all_folders():
self.list.addItem(f)
h.add(self.list)
v.add(h)
h=HorizontalPanel()
h.add(RadioButton("group1", "New folder:"))
self.radio.setChecked(True)
self.textbox=TextBox()
h.add(self.textbox)
v.add(h)
v.add(Button("Done",self.done_click))
self.add(v)
def refresh_theorems(self, folder):
self.remove_images()
def onClick(theorem):
def name(n):
return "var" + str(n + 1)
def print_scheme(n):
return ["\\alpha", "\\beta", "\\gamma", "\\delta", "\\epsilon"][n]
def poas(sender):
if len(theorem.operations) == 1:
constants = [Operation("const" + str(i + 1), 0, print_scheme(i), name(i), Operation.EXPRESSION)
for i in range(theorem.operations[0].no_of_args)]
def after1(f):
self.after(
theorem.formula.substitute_definition(Formula([theorem.operations[0]] + constants), f),
predecessors=[], rule_name="insert")
request_formula([op for op in proof.get_operations()] + constants,
after1, type=('rel' if theorem.operations[0].type == Operation.RELATION else 'exp'))
else:
self.after(theorem.formula, predecessors=[], rule_name="insert")
return poas
for ax in [x for x in Theorem.theorems if x.folder == folder]:
im = Image()
im.addClickListener(onClick(ax))
im.setUrl(latex_to_url(ax.formula.to_latex()))
self.pok.add(im)
self.images.append(im)
def add_formula(self, f):
h = HorizontalPanel()
im = Image()
im.setUrl(latex_to_url(f.to_latex()))
c = CheckBox()
h.add(c)
h.add(im)
self.pok.add(h)
self.checkbox_list.append(c)
self.hpanel_list.append(h)
self.image_list.append(im)
def reload(self, formula_list,split_points):
if len(formula_list)<len(self.hpanel_list):
for h in self.hpanel_list[len(formula_list):]:
self.pok.remove(h)
self.hpanel_list=self.hpanel_list[:len(formula_list)]
self.checkbox_list = self.checkbox_list[:len(formula_list)]
self.image_list = self.image_list[:len(formula_list)]
for f, im in zip(formula_list, self.image_list):
im.setUrl(latex_to_url(f.to_latex()))
x = formula_list[len(self.hpanel_list):]
for f in x:
self.add_formula(f)
self.set_checks_to_def(split_points)
for i in range(len(self.image_list)):
self.image_list[i].clearClickListener()
self.image_list[i].addClickListener(self.onclick(i))
def refresh_theorems(self, folder):
self.remove_images()
def onClick(theorem):
def name(n):
return "var" + str(n + 1)
def print_scheme(n):
return [
"\\alpha", "\\beta", "\\gamma", "\\delta", "\\epsilon"
][n]
def poas(sender):
if len(theorem.operations) == 1:
constants = [
Operation("const" + str(i + 1), 0, print_scheme(i),
name(i), Operation.EXPRESSION)
for i in range(theorem.operations[0].no_of_args)
]
def after1(f):
self.after(theorem.formula.substitute_definition(
Formula([theorem.operations[0]] + constants), f),
predecessors=[],
rule_name="insert")
request_formula([op for op in proof.get_operations()] +
constants,
after1,
type=('rel' if theorem.operations[0].type
== Operation.RELATION else 'exp'))
else:
self.after(theorem.formula,
predecessors=[],
rule_name="insert")
return poas
for ax in [x for x in Theorem.theorems if x.folder == folder]:
im = Image()
im.addClickListener(onClick(ax))
im.setUrl(latex_to_url(ax.formula.to_latex()))
self.pok.add(im)
self.images.append(im)