politarczyk
/
knotkit
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • ac003abd82 Correct link tables added. The data was generated by SnapPy periodicity Wojciech Politarczyk 2017-07-01 11:38:53 +0200
  • c3d01fd161 Merge branch 'periodicity' master Wojciech Politarczyk 2017-02-25 18:48:59 +0100
  • 6374563de1 Corrected some bugs Wojciech Politarczyk 2017-02-08 12:05:23 +0100
  • b215778186
         Corrected some errors Wojciech Politarczyk 2017-02-08 12:05:23 +0100
  • 816e2eef59
         Added another variant of periodicity test. Wojciech Politarczyk 2017-02-04 20:09:15 +0100
  • f80ac2ce8e
         Verification of periodicity criterion works for nonthin knots. Wojciech Politarczyk 2017-01-26 11:33:27 +0100
  • b153876f41 The bug with polynomial division was fixed. Wojciech Politarczyk 2017-01-13 11:51:49 +0100
  • e9bac2e0e2
         Added descriptions of periodicity test to usage and README Wojciech Politarczyk 2016-11-29 17:45:16 +0100
  • 7cde96e48f
         Verification of perioidcity congruences is finished Wojciech Politarczyk 2016-11-28 09:26:41 +0100
  • bfe339cb0f Merge branch 'periodicity' of git.wmi.amu.edu.pl:politarczyk/knotkit into periodicity Wojciech Politarczyk 2016-11-24 15:42:52 +0100
  • 203477c3a8 First shot at periodicity congruences Wojciech Politarczyk 2016-11-19 21:01:10 +0100
  • 297e02dc05 Periodicity congruences Wojciech Politarczyk 2016-11-19 21:01:10 +0100
  • 66813d4a15 Added some C++11 features to classes Z and Q Wojciech Politarczyk 2016-11-19 20:55:11 +0100
  • cddb533519 First shot at periodicity congruences Wojciech Politarczyk 2016-11-19 20:53:18 +0100
  • df8f02f3ca Computation of the Jones polynomial Wojciech Politarczyk 2016-11-19 20:46:39 +0100
  • 4fdd08f1d1 hi Joshua Batson 2014-04-06 23:09:45 -0400
  • b51dbfe2a0 Merge branch 'master' of github.com:cseed/knotkit Joshua Batson 2013-10-18 12:46:25 -0400
  • 36e0303fca Fixed crash on disconnected braid and possible loss of orientation information when building braids. knot parser supports disjoint union (juxtaposition). Minor documentation changes. Cotton Seed 2013-03-26 12:44:40 -0400
  • dc11fd082c Set devel = 0 and default to optimized in Makefile. Cotton Seed 2013-03-25 16:55:52 -0400
  • 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. Cotton Seed 2013-03-25 16:39:15 -0400
  • 76bc2c9200 Adjust b by total linking parity information. Dump bound computations. Cotton Seed 2013-01-19 14:03:02 -0500
  • f3d7e22f51 Strengthened b'_lk to use Khovanov homology. Set up to compute sp bounds in paralllel. Cotton Seed 2013-01-17 18:43:52 -0500
  • e19a274c8e Ready to compute splitting bound data for paper. Cotton Seed 2013-01-17 11:05:44 -0500
  • a09ca308d9 Added mod_map::graded_piece. Friendlier (but not completely friendly) compute_forgetfulss function in main.cpp. Cotton Seed 2012-11-02 12:51:16 -0400
  • 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. Cotton Seed 2012-10-22 13:43:45 -0400
  • 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. Cotton Seed 2012-10-13 12:45:43 -0400
  • 177b37bb57 Merge remote-tracking branch 'origin/master' Cotton Seed 2012-10-06 12:41:29 -0400
  • 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. Cotton Seed 2012-10-03 15:51:42 -0400
  • 0ff4f181da Changes in main from newcomp. Cotton Seed 2012-09-17 20:36:18 -0400
  • 7c78d323eb Merge remote branch 'origin/master' Cotton Seed 2012-09-09 11:49:53 -0400
  • b17121cf5b Added tests for Kh homotopy type: CP^2, mutation invariance, sq1 and sq2 satisfy adem relations. Cotton Seed 2012-09-09 11:18:25 -0400
  • 7259a9a00d Changes to test forgetful spectral sequence on newcomp. Cotton Seed 2012-09-04 15:11:02 -0400
  • 307719de67 Updated link forgetful spectral sequence verification to include ell-grading. Cotton Seed 2012-08-31 13:44:18 -0400
  • 6e46c5a8ce Ready to test forgetful spectral sequence on links through 11 crossings. Cotton Seed 2012-08-30 18:30:39 -0400
  • e9f41377ee Compare twisted U^2 = 0 theory and untwisted theory to compile a list of small examples where U differentials appear. Cotton Seed 2012-08-16 13:42:44 -0400
  • 07d8513d5e Merge remote branch 'origin/master' Cotton Seed 2012-08-04 16:24:09 -0400
  • e5b96e80ab Added stat to mpimain so computation of 15 crossing mutants is restartable. Cotton Seed 2012-08-04 15:49:52 -0400
  • 48e17fb4a6 Build on newcomp with clang++. Added .cmd files for newcomp q. Cotton Seed 2012-08-02 19:05:51 -0400
  • ca8c47cc5b mpimain set up to compute Steenrod squares for 15 crossing mutant knot groups. Cotton Seed 2012-07-30 15:43:28 -0400
  • eff35be4ff Changes to dump Kh sq1, sq2 in manageable, compessed format. Cotton Seed 2012-07-30 15:32:13 -0400
  • 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. Cotton Seed 2012-07-28 13:48:17 -0400
  • 5db000c6aa Final code to dump knot_kh_sq tables for Robert and Sucharit. Cotton Seed 2012-06-07 14:03:41 -0400
  • 226bbf64dc Removed dead max computation from cube_impl.h. Added support for sage dumping of modules/maps. Cotton Seed 2012-06-06 13:21:18 -0400
  • 3797868325 Fixeds to module reader (not carry unnecessary refcounts?). main checks for homotopy type differences. Added planar_diagram::{show, display}_knottheory. Cotton Seed 2012-05-21 10:09:17 -0400
  • a0f94aad47 Fixed bug in writer::write_mod. Added (partial) support for comparing sq1/2 to main. Cotton Seed 2012-05-04 08:27:09 -0400
  • 6d133e0622 Changes to get mpimain running. Cotton Seed 2012-05-03 15:49:26 -0400
  • 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). Cotton Seed 2012-05-03 15:27:05 -0400
  • b44d6f3699 Added code in main to to compare sq1/2 in knot computation output. Cotton Seed 2012-04-14 12:36:25 -0400
  • 56e3070bc4 Added knot_desc to knotkit.h/knot_tables.cpp. Resurrected MPI support. mpimain.cpp set up to tabulate Kh and steenrod squares. Cotton Seed 2012-04-11 17:51:14 -0400
  • 80a531db68 Modified main to compare sq1/2 for knots with equal Kh. Cotton Seed 2012-04-11 02:25:27 -0400
  • 8dfa237fc4 Added support to compute Sq1 and Sq2 on Kh. Cotton Seed 2012-04-11 01:06:04 -0400
  • a0e543e4df Added raw support (no leb128) to io for backward compatiblity. Cotton Seed 2012-07-28 12:55:46 -0400
  • 5f4dfe8cf1 More updates to c++11: partial initializer_lists and range-based for support. Cotton Seed 2012-07-28 08:14:11 -0400
  • fdb87caa41 First cut at moving the code over to C++11. Cotton Seed 2012-07-27 15:37:47 -0400
  • 470c660cb2 changed HOME to josh Joshua Batson 2012-05-09 13:34:16 -0400
  • 50a2438996 Added Roberts' totally twisted Kh differential to spanning_tree_complex. Main set up to compare twisted E3, twisted Kh and normal Kh. Cotton Seed 2012-03-18 22:55:56 -0400
  • 7d80c871ff Added direct_sum module and some simple tests to main. Cotton Seed 2012-02-29 22:21:45 -0500
  • 9bed7282ac Added tensor_product and hom_module to algebra/module.h. Cotton Seed 2012-02-28 22:08:52 -0500
  • b337bd36ac mod_map is now just a wrapper for a map implementation. mod_map is now functional. Added map_builder classes for imperatively construction maps. Initial collection of map implementations (explicit, zero, 1, and composition.) Cotton Seed 2012-02-28 14:26:38 -0500
  • 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. Cotton Seed 2012-02-23 19:04:13 -0500
  • 1ea96353a7 Added io support for std::string. Added order on laurent polynomials. main tests io on map<multivariate_laurentpoly, std::string>. Cotton Seed 2011-12-29 19:38:02 -0500
  • 33278ed545 Added hash and comparisons for std::string. Cotton Seed 2011-12-29 11:51:58 -0500
  • e4f420e693 Q uses gmp. Deleted README2. Z::muladdeq uses mpz_add_mul. Cotton Seed 2011-12-27 13:40:59 -0500
  • 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. Cotton Seed 2011-12-22 15:35:49 -0500
  • 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. Cotton Seed 2011-12-14 13:32:28 -0500
  • 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. Cotton Seed 2011-12-14 13:07:53 -0500
  • 1d63f2195f added my binary testsurfaces to .gitignore Joshua Batson 2011-12-13 16:09:29 -0500
  • dcbe4127bd First commit in git. This is a cleaned up version of r114 from the now deprecated SVN repository. Cotton Seed 2011-12-09 15:50:25 -0500
  • 2eae290b42 first commit: added README Cotton Seed 2011-12-06 11:45:49 -0500