braid-0.1.0.0: braid.cabal
name: braid
version: 0.1.0.0
synopsis: Types and functions to work with braids and Khovanov homology.
description: A library to work with [braids](https://en.wikipedia.org/wiki/Braid_theory) and [Khovanov homology](https://en.wikipedia.org/wiki/Khovanov_homology). The main focus of the package is computing (the braid invariant \kappa)[http://arxiv.org/abs/1507.06263] defined by (the package author)[adamsaltz.com] and (Diana Hubbard)[https://sites.google.com/site/dianadhubbard/].
Braids are encoded by their index/width and a word in the standard [Artin generators](https://en.wikipedia.org/wiki/Braid_group#Generators_and_relations). To represent the 4-strand braid \sigma_1\sigma_2\sigma^(-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)[http://arxiv.org/abs/math/0412184] with lowest k-grading. The minus-labeled components are indicated by dots.
homepage: http://github.com/githubuser/braid#readme
license: BSD3
license-file: LICENSE
author: Adam Saltz
maintainer: saltz.adam@gmail.com
copyright: 2016, Adam Saltz
category: Math
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
hs-source-dirs: src
exposed-modules: Braids, Cancellation, Complex, ExampleBraids,
Kappa, Kh, Parse, Util, Braiddiagrams
build-depends: base >= 4.7 && < 5,
containers,
split,
diagrams-core,
diagrams-lib,
diagrams-contrib,
diagrams-svg
default-language: Haskell2010
executable KappaView
hs-source-dirs: app, src
main-is: KappaView.hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2 -main-is KappaView
build-depends: base >= 4.7 && < 5,
containers,
split,
diagrams-core,
diagrams-lib,
diagrams-contrib,
diagrams-svg
default-language: Haskell2010
other-modules: Braiddiagrams,
Braids,
Cancellation,
Complex,
Kappa,
Kh,
Parse,
Util,
ExampleBraids
-- test-suite braid-test
-- type: exitcode-stdio-1.0
-- hs-source-dirs: test
-- main-is: Spec.hs
-- build-depends: base
-- , braid
-- ghc-options: -threaded -rtsopts -with-rtsopts=-N
-- default-language: Haskell2010