knots-0.1.0.1: Khovanov homology computations

Safe HaskellNone
LanguageHaskell98

Knots.Torus

Synopsis

Documentation

torusLink :: Int -> Int -> PD (Either Int Int) Source

Positive T(m,n) torus link

turn :: Int -> PD (Either Int Int) Source

Positive turn as a braid. Pass a negative argument to get a negative turn.

close :: (Ord a, Num a, Functor f) => a -> a -> [f (Either a b)] -> [f (Either a b)] Source

close m k closes the braid after k many m-turns.