-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathplanning.txt
30 lines (23 loc) · 934 Bytes
/
planning.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Things to compute:
- [X] Alexander polynomial
- [X] Jones polynomial
- [X] Writhe of diagram
- [X] crossing number of diagram
- [X] Turaev genus of diagram
- [X] +-adequate, --adequate, and adequateness of diagram
- [ ] HOMFLY polynomial
- [ ] Khovanov homology?
- [X] signature
- [X] DT code for knots
- [ ] is there a face with a braid axis?
Manipulations:
- [ ] cablings (like longitudinal pushoff)
- [ ] Whitehead doubling
Input methods:
- [ ] pretzels
- [ ] braid closures
- [ ] rational knots
Maybe change?
- in the image loader, make the image centered
- for alexander polynomial, use bignums since gcd can have overflows
- for Wirtinger presentation, make it be less agressive with substitution, since the relation words grow exponentially, especially with large alternating knots! This could be through an artificial limit in the size of words, or it could be using a different representation of words of conjugates.