Commit Graph

53 Commits

Author SHA1 Message Date
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
Cotton Seed
a0e543e4df Added raw support (no leb128) to io for backward compatiblity. 2012-07-28 12:55:46 -04:00
Cotton Seed
5f4dfe8cf1 More updates to c++11: partial initializer_lists and range-based for
support.
2012-07-28 08:14:11 -04:00
Cotton Seed
fdb87caa41 First cut at moving the code over to C++11. 2012-07-27 15:37:47 -04:00
Joshua Batson
470c660cb2 changed HOME to josh 2012-05-09 13:34:16 -04:00
Cotton Seed
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
Cotton Seed
7d80c871ff Added direct_sum module and some simple tests to main. 2012-02-29 22:21:45 -05:00
Cotton Seed
9bed7282ac Added tensor_product and hom_module to algebra/module.h. 2012-02-28 22:08:52 -05:00
Cotton Seed
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.)
2012-02-28 14:26:38 -05:00
Cotton Seed
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
Cotton Seed
1ea96353a7 Added io support for std::string. Added order on laurent polynomials.
main tests io on map<multivariate_laurentpoly, std::string>.
2011-12-29 19:38:02 -05:00
Cotton Seed
33278ed545 Added hash and comparisons for std::string. 2011-12-29 11:51:58 -05:00
Cotton Seed
e4f420e693 Q uses gmp. Deleted README2. Z::muladdeq uses mpz_add_mul. 2011-12-27 13:40:59 -05:00
Cotton Seed
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
Cotton Seed
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
Cotton Seed
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