Types and functions to work with braids and Khovanov homology. http://github.com/githubuser/braid#readme
|Latest on Hackage:||0.1.0.0|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
A library to work with braids and Khovanov homology. The main focus of the package is computing (the braid invariant kappa)[http:/arxiv.orgabs1507.06263] defined by (the package author)[adamsaltz.com] and (Diana Hubbard)[https:sites.google.comsitedianadhubbard]. Braids are encoded by their indexwidth and a word in the standard [Artin generators](https:en.wikipedia.orgwiki/Braid_group#Generators_and_relations). To represent the 4-strand braid sigma_1sigma_2sigma^(-1)_3 use
Braid [1,2,-3] 4
computeKappa in the module
Kappa returns 'Just kappa' if kappa is finite and
Nothing otherwise. More helper functions for working with Khovanov homology and reduced Khovanov homology will be included soon.
Braiddiagrams creates diagrams for braids, their closures, and their resolutions. E.g. to dra
KappaView draws the pre-images of the (transverse invariant psi)[http:/arxiv.orgabsmath0412184] with lowest k-grading. The minus-labeled components are indicated by dots.