diff --git a/README.md b/README.md index 392d39e..ea85414 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ ## Set up 1. Clone the repository using `git clone` -2. Install packages using preferred installer - need to fix, create pip requirements file +2. Install packages using pip (run `pip install -r pip-requirements.txt` in the command line) ## Codebase diff --git a/pip-requirements.txt b/pip-requirements.txt new file mode 100644 index 0000000..79893c4 --- /dev/null +++ b/pip-requirements.txt @@ -0,0 +1,4 @@ +pylatex +dataclasses +fitz +ttkwidgets \ No newline at end of file diff --git a/proof.py b/proof.py index cc9285e..101f269 100644 --- a/proof.py +++ b/proof.py @@ -593,7 +593,7 @@ def rightMultInverse (self, elemName, lineNum): product = self.MultElem(eq.LHS,inverse(elemName,eq.group)) result = Eq(product, self.MultElem(eq.RHS, inverse(elemName,eq.group)), eq.group) self.steps += [result] - self.justifications += ['Right multiply line {lineNum} by ' + elemName] + self.justifications += [f'Right multiply line {lineNum} by ' + elemName] self.show() else: print('Proof Error', "The element " + elemName + " is not in the " + str(eq.group)) @@ -607,7 +607,7 @@ def leftMultInverse (self, elemName, lineNum): product = self.MultElem(inverse(elemName,eq.group), eq.LHS) result = Eq(product, self.MultElem(inverse(elemName,eq.group), eq.RHS), eq.group) self.steps += [result] - self.justifications += ['Right multiply line {lineNum} by ' + elemName] + self.justifications += [f'Right multiply line {lineNum} by ' + elemName] self.show() else: print('Proof Error', "The element " + elemName + " is not in the " + str(eq.group))