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
cddb533519
First shot at periodicity congruences
2016-11-19 20:53:18 +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
e19a274c8e
Ready to compute splitting bound data for paper.
2013-01-17 11:05:44 -05:00
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
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
307719de67
Updated link forgetful spectral sequence verification to include
...
ell-grading.
2012-08-31 13:44:18 -04:00
6e46c5a8ce
Ready to test forgetful spectral sequence on links through 11
...
crossings.
2012-08-30 18:30:39 -04:00
48e17fb4a6
Build on newcomp with clang++. Added .cmd files for newcomp q.
2012-08-02 19:05:51 -04:00
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
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
a0f94aad47
Fixed bug in writer::write_mod. Added (partial) support for comparing
...
sq1/2 to main.
2012-07-28 13:27:47 -04:00
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
80a531db68
Modified main to compare sq1/2 for knots with equal Kh.
2012-07-28 13:20:03 -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
7d80c871ff
Added direct_sum module and some simple tests to main.
2012-02-29 22:21:45 -05:00
9bed7282ac
Added tensor_product and hom_module to algebra/module.h.
2012-02-28 22:08:52 -05:00
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
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
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
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
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