7cde96e48f
Verification of perioidcity congruences is finished
...
Verification of periodicity congruences is finished and works ok.
2016-11-29 16:21:48 +01:00
203477c3a8
First shot at periodicity congruences
...
Verification of Przytycki's congruence works fine, however there are
some small modifications that could be made.
The, naive, approach to the verification of periodicity congruence for
the Khovanov polynomial didn't work. There are just too many cases to
check. Generation of all of them can exhaust the memory.
2016-11-24 15:28:31 +01:00
df8f02f3ca
Computation of the Jones polynomial
2016-11-19 20:51:38 +01:00
ad0f60f5c0
Renamed driver kk. Added support for various invariants (gss + kh,
...
lsss, leess, sq2, s) to prepare for release of the link splitting
spectral sequence paper on the arXiv.
2013-03-25 16:39:15 -04:00
48e17fb4a6
Build on newcomp with clang++. Added .cmd files for newcomp q.
2012-08-02 19:05:51 -04:00
0ed96458e1
Code to extract component(s) of links in knot_diagram. main.cpp set
...
to test inequality conjecture implied by forgetful spectral sequence
for Kh.
2012-02-23 19:04:13 -05:00
5d4acb7a86
Added /serial.cmd* to .gitignore. Minor changes to build with version
...
of gcc on newcomp. Use global reference (::) in linear_combination*
typedefs in ring classes. Renamed linear_combiation::set set_coeff.
2011-12-14 13:32:28 -05:00
53a139416c
Added Zp and unary minus to ring classes. Added *~ to .gitignore.
...
Added unsigned_extended_gcd. There are ring/field tests that should
be separated.
2011-12-14 13:07:53 -05:00
1d63f2195f
added my binary testsurfaces to .gitignore
2011-12-13 16:09:29 -05:00
dcbe4127bd
First commit in git. This is a cleaned up version of r114 from the
...
now deprecated SVN repository.
2011-12-09 15:50:25 -05:00
Wojciech Politarczyk