added pip-requirements file

isahers1 · Dec 5, 2022 · 1cf5177 · 1cf5177
1 parent 5634c5b
commit 1cf5177
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git 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
@@ -0,0 +1,4 @@
+pylatex
+dataclasses
+fitz
+ttkwidgets
diff --git 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))