braid: Types and functions to work with braids and Khovanov homology.

[ bsd3, library, math, program ] [ Propose Tags ]

A library to work with braids and Khovanov homology. The main focus of the package is computing (the braid invariant kappa)[] defined by (the package author)[] and (Diana Hubbard)[]. 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

The function 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.

The module Braiddiagrams creates diagrams for braids, their closures, and their resolutions. E.g. to dra

The executable KappaView draws the pre-images of the (transverse invariant psi)[] with lowest k-grading. The minus-labeled components are indicated by dots.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Dependencies base (>=4.7 && <5), containers, diagrams-contrib, diagrams-core, diagrams-lib, diagrams-svg, split [details]
License BSD-3-Clause
Copyright 2016, Adam Saltz
Author Adam Saltz
Category Math
Home page
Uploaded by saltza at 2016-01-18T20:25:59Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables KappaView
Downloads 925 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-01-19 [all 1 reports]