816e2eef59
Added another variant of periodicity test.
...
Knotkit can read the list of knots to test from a file.
2017-02-04 20:09:15 +01:00
b153876f41
The bug with polynomial division was fixed.
2017-01-13 11:54:07 +01:00
7cde96e48f
Verification of perioidcity congruences is finished
...
Verification of periodicity congruences is finished and works ok.
2016-11-29 16:21:48 +01:00
bfe339cb0f
Merge branch 'periodicity' of git.wmi.amu.edu.pl:politarczyk/knotkit into periodicity
2016-11-24 15:42:52 +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
297e02dc05
Periodicity congruences
2016-11-19 22:38:34 +01:00
66813d4a15
Added some C++11 features to classes Z and Q
...
Z and Q use now smart pointers for storing their internal
implementations, which were changed to use mpz_class and
mpq_class. New implementation uses copy on write. Moreover, I added
moving semantics for these two classes.
2016-11-19 20:55:11 +01:00
df8f02f3ca
Computation of the Jones polynomial
2016-11-19 20:51:38 +01:00
4fdd08f1d1
hi
2014-04-06 23:09:45 -04:00
dc11fd082c
Set devel = 0 and default to optimized in Makefile.
2013-03-25 16:55:52 -04: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
e19a274c8e
Ready to compute splitting bound data for paper.
2013-01-17 11:05:44 -05:00
9ee5950195
Some changes to algebra/ to make kernel, image and quotient work over
...
PID. Goal: compute spectral sequences over PID. Updated main to
compute Lee Z/2 bound.
2012-10-22 13:43:45 -04:00
7259a9a00d
Changes to test forgetful spectral sequence on newcomp.
2012-09-04 15:11:02 -04:00
e9f41377ee
Compare twisted U^2 = 0 theory and untwisted theory to compile a list
...
of small examples where U differentials appear.
2012-08-16 13:42:44 -04:00
48e17fb4a6
Build on newcomp with clang++. Added .cmd files for newcomp q.
2012-08-02 19:05:51 -04:00
eff35be4ff
Changes to dump Kh sq1, sq2 in manageable, compessed format.
2012-07-30 15:32:13 -04:00
6d133e0622
Changes to get mpimain running.
2012-07-28 13:27:46 -04:00
56e3070bc4
Added knot_desc to knotkit.h/knot_tables.cpp. Resurrected MPI
...
support. mpimain.cpp set up to tabulate Kh and steenrod squares.
2012-07-28 13:20:37 -04:00
8dfa237fc4
Added support to compute Sq1 and Sq2 on Kh.
2012-07-28 13:19:15 -04:00
5f4dfe8cf1
More updates to c++11: partial initializer_lists and range-based for
...
support.
2012-07-28 08:14:11 -04:00
fdb87caa41
First cut at moving the code over to C++11.
2012-07-27 15:37:47 -04:00
50a2438996
Added Roberts' totally twisted Kh differential to
...
spanning_tree_complex. Main set up to compare twisted E3, twisted Kh
and normal Kh.
2012-03-18 22:55:56 -04:00
e4f420e693
Q uses gmp. Deleted README2. Z::muladdeq uses mpz_add_mul.
2011-12-27 13:40:59 -05:00
4443c8e331
Replaced laurentpoly with multivariate_laurentpoly and updated uses
...
(sseq, module) appropriately; removed algebra/laurentpoly.h and added
algebra/multivariate_laurentpoly.h. Added io, muladdeq to Z. Added
functions open_file, close_file to lib/io.h. Added operator < to
map_wrapper.
2011-12-22 15:35:49 -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
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