Source code to accompany "The finiteness conjecture for skein modules"
This code was written to do example computations with the algorithm for computing skein modules from a Heegaard splitting.
It is written in MAGMA, and it isn't for the feint of heart! I hope it can be useful for someone who knows how to program and wants to experiment.
It could easily be ported to another language like SAGE, or even python or C++, since the algorithm is fairly simple.
I did some very minimal documentation, but it's pretty rough and cryptic. If you are interested to try and use it, probably best to get in touch. Email me!
- The main file: skein-modules.m - this file calls up the other ones.
- The setup file: setup-the-PBW-relations.m" - this file has the relations for DqSL2 and DqGL1.
- The relations cache file: cache-the-PBW-relations.m - this file caches the PBW relations in advance for future computations.
- The matrices cache fle: cache-the-PBW-matrices.m - this file caches the matrices for fastdimSL2.
- The helper functions: helper-functions.m - this file contains a bunch of functions useful for computing.