KNOTTY

computer algebra system for knot theory: assisting mathematicians with symbolic computation

EXAMPLES

input Knotty file (language specification)
output TeX file
- PDF file

DESCRIPTION

the Knotty system includes:

the Knotty language: a programming language for math, specializing in knot theory
the Knotty engine:
- receives a Knotty program
- returns a TeX program
the Knotty web application:
- includes:
  - a text box: in which the user can type a Knotty program
  - a button: when clicked will generate a TeX program
    - by invoking the Knotty engine
  - a preview box: in which the TeX program is displayed

FILES

examples/
web application:
- webapp/
engine:
- bin/
- src/
language:
- spec/

LINKS

USAGE

first time:
- prerequisite installation:
  - Git
  - Python
  - optional tex-to-pdf compilation:
    - TeX Live (~ 2 hours)
    - Sumatra PDF
- command-line interface:
```
pip install mpmath

pip install sympy
```
- directory browsing (Windows Command Prompt):
```
cd/d <parent_dir_of_repo>
```
  example: my <parent_dir_of_repo> is D:/github/
- repository cloning:
```
git clone --recursive https://github.com/vuphan314/Knotty
```
each following time:
- directory browsing:
```
cd/d <dir_of_repo>
```
  example: my <dir_of_repo> is D:/github/Knotty/
- update repository:
```
git pull --recurse-submodules
```
- show tags:
```
git tag -n
```
- browse tag:
```
git checkout tags/<tag>
```
  example: latest <tag> is v2.0.0

CONTRIBUTORS

Vu Phan (regular)
- language
- engine
Zachariah Grummons (honorary)
- web application

ACKNOWLEDGEMENT

Git submodules:
- generic parser
  - by Evgenii Balai
- PyInstaller
Python package:
- SymPy
Knotty language influenced by: LED, SequenceL, Python, SQL
design document influenced by SE2 Machine Learning Team