politarczyk
/
knotkit
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
68 Commits 2 Branches 0 Tags 7.7 MiB
Commit Graph

68 Commits

Author SHA1 Message Date
Wojciech Politarczyk c3d01fd161 Merge branch 'periodicity' 2017-02-25 18:48:59 +01:00
Wojciech Politarczyk 6374563de1 Corrected some bugs 2017-02-25 18:47:05 +01:00
Wojciech Politarczyk b215778186
Corrected some errors 2017-02-15 17:03:49 +01:00
Wojciech Politarczyk 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
Wojciech Politarczyk f80ac2ce8e
Verification of periodicity criterion works for nonthin knots. 2017-01-26 11:33:27 +01:00
Wojciech Politarczyk b153876f41 The bug with polynomial division was fixed. 2017-01-13 11:54:07 +01:00
Wojciech Politarczyk e9bac2e0e2
Added descriptions of periodicity test to usage and README 2016-11-29 17:45:16 +01:00
Wojciech Politarczyk 7cde96e48f
Verification of perioidcity congruences is finished 
Verification of periodicity congruences is finished and works ok.
 2016-11-29 16:21:48 +01:00
Wojciech Politarczyk bfe339cb0f Merge branch 'periodicity' of git.wmi.amu.edu.pl:politarczyk/knotkit into periodicity 2016-11-24 15:42:52 +01:00
Wojciech Politarczyk 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
Wojciech Politarczyk 297e02dc05 Periodicity congruences 2016-11-19 22:38:34 +01:00
Wojciech Politarczyk 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
Wojciech Politarczyk cddb533519 First shot at periodicity congruences 2016-11-19 20:53:18 +01:00
Wojciech Politarczyk df8f02f3ca Computation of the Jones polynomial 2016-11-19 20:51:38 +01:00
Joshua Batson 4fdd08f1d1 hi 2014-04-06 23:09:45 -04:00
Joshua Batson b51dbfe2a0 Merge branch 'master' of github.com:cseed/knotkit 
Conflicts:
	knot_tables.cpp
 2013-10-18 12:46:25 -04:00
Cotton Seed 36e0303fca Fixed crash on disconnected braid and possible loss of orientation 
information when building braids.  knot parser supports disjoint union
(juxtaposition).  Minor documentation changes.
 2013-03-26 12:44:40 -04:00
Cotton Seed dc11fd082c Set devel = 0 and default to optimized in Makefile. 2013-03-25 16:55:52 -04:00
Cotton Seed 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
Cotton Seed 76bc2c9200 Adjust b by total linking parity information. Dump bound 
computations.
 2013-01-19 14:03:02 -05:00
Cotton Seed f3d7e22f51 Strengthened b'_lk to use Khovanov homology. Set up to compute sp 
bounds in paralllel.
 2013-01-17 18:43:52 -05:00
Cotton Seed e19a274c8e Ready to compute splitting bound data for paper. 2013-01-17 11:05:44 -05:00
Cotton Seed a09ca308d9 Added mod_map::graded_piece. Friendlier (but not completely friendly) 
compute_forgetfulss function in main.cpp.
 2012-11-02 12:51:16 -04:00
Cotton Seed 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
Cotton Seed f2375a2d9e Added compute_forgetful_signs to main. Set up mpimain to compute 
forgetful spectral sequence over Z/97 for all links with 14 or fewer
crossings.
 2012-10-13 12:45:43 -04:00
Cotton Seed 177b37bb57 Merge remote-tracking branch 'origin/master' 
Conflicts:
	main.cpp
 2012-10-06 12:41:29 -04:00
Cotton Seed 70b4a05e3d Added convert_mut15 to consolidate /u/cseed/mut15.bak into 
knot_sq/K15_sq_part.dat.gz.  (For newcomp.)  Added
test_kh_htt_stronger to find examples where the homotopy type
distinguishes knots with identical Khovanov homology.
 2012-10-03 15:51:42 -04:00
Cotton Seed 0ff4f181da Changes in main from newcomp. 2012-09-17 20:36:18 -04:00
Cotton Seed 7c78d323eb Merge remote branch 'origin/master' 2012-09-09 11:49:53 -04:00
Cotton Seed b17121cf5b Added tests for Kh homotopy type: CP^2, mutation invariance, sq1 and 
sq2 satisfy adem relations.
 2012-09-09 11:18:25 -04:00
Cotton Seed 7259a9a00d Changes to test forgetful spectral sequence on newcomp. 2012-09-04 15:11:02 -04:00
Cotton Seed 307719de67 Updated link forgetful spectral sequence verification to include 
ell-grading.
 2012-08-31 13:44:18 -04:00
Cotton Seed 6e46c5a8ce Ready to test forgetful spectral sequence on links through 11 
crossings.
 2012-08-30 18:30:39 -04:00
Cotton Seed 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
Cotton Seed 07d8513d5e Merge remote branch 'origin/master' 
Conflicts:
	mpimain.cpp
 2012-08-04 16:24:09 -04:00
Cotton Seed e5b96e80ab Added stat to mpimain so computation of 15 crossing mutants is 
restartable.
 2012-08-04 15:49:52 -04:00
Cotton Seed 48e17fb4a6 Build on newcomp with clang++. Added .cmd files for newcomp q. 2012-08-02 19:05:51 -04:00
Cotton Seed ca8c47cc5b mpimain set up to compute Steenrod squares for 15 crossing mutant knot 
groups.
 2012-07-30 15:43:28 -04:00
Cotton Seed eff35be4ff Changes to dump Kh sq1, sq2 in manageable, compessed format. 2012-07-30 15:32:13 -04:00
Cotton Seed 13ba6be775 Fixed a few bugs coming from the rebase of square to master: 
initialize impl in set_wrapper, missing operator != on
linear_combination, some reader/writer problems related to writing
algebra.
 2012-07-28 13:48:17 -04:00
Cotton Seed 5db000c6aa Final code to dump knot_kh_sq tables for Robert and Sucharit. 2012-07-28 13:27:47 -04:00
Cotton Seed 226bbf64dc Removed dead max computation from cube_impl.h. Added support for sage 
dumping of modules/maps.
 2012-07-28 13:27:47 -04:00
Cotton Seed 3797868325 Fixeds to module reader (not carry unnecessary refcounts?). main 
checks for homotopy type differences.  Added planar_diagram::{show,
display}_knottheory.
 2012-07-28 13:27:47 -04:00
Cotton Seed a0f94aad47 Fixed bug in writer::write_mod. Added (partial) support for comparing 
sq1/2 to main.
 2012-07-28 13:27:47 -04:00
Cotton Seed 6d133e0622 Changes to get mpimain running. 2012-07-28 13:27:46 -04:00
Cotton Seed 417fe1ea4d Added io support for module, linear_combination, mod_map and grading. 
Added intersection and sum for free_submodule.  Modified mpimain to
dump cohomology, sq1 and sq2 as objects (instead of poincare series).
 2012-07-28 13:26:30 -04:00
Cotton Seed b44d6f3699 Added code in main to to compare sq1/2 in knot computation output. 2012-07-28 13:20:38 -04:00
Cotton Seed 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
Cotton Seed 80a531db68 Modified main to compare sq1/2 for knots with equal Kh. 2012-07-28 13:20:03 -04:00
Cotton Seed 8dfa237fc4 Added support to compute Sq1 and Sq2 on Kh. 2012-07-28 13:19:15 -04:00