HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe Haskell | None
Language | Haskell98

Math.Projects.KnotTheory.Braid

Contents

- Orphan instances

# Documentation

type LPQ = LaurentMPoly Q Source #

data BraidGens Source #

Constructors

S Int |

Instances

Eq BraidGens Source # |
Methods (==) :: BraidGens -> BraidGens -> Bool # (/=) :: BraidGens -> BraidGens -> Bool #
Ord BraidGens Source # |
Methods compare :: BraidGens -> BraidGens -> Ordering # (<) :: BraidGens -> BraidGens -> Bool # (<=) :: BraidGens -> BraidGens -> Bool # (>) :: BraidGens -> BraidGens -> Bool # (>=) :: BraidGens -> BraidGens -> Bool # max :: BraidGens -> BraidGens -> BraidGens # min :: BraidGens -> BraidGens -> BraidGens #
Show BraidGens Source # |
Methods showsPrec :: Int -> BraidGens -> ShowS # show :: BraidGens -> String # showList :: [BraidGens] -> ShowS #
Invertible (NPoly LPQ BraidGens) Source # |
Methods inv :: NPoly LPQ BraidGens -> NPoly LPQ BraidGens Source #

s_ :: Int -> NPoly LPQ BraidGens Source #

s1 :: NPoly LPQ BraidGens Source #

s2 :: NPoly LPQ BraidGens Source #

s3 :: NPoly LPQ BraidGens Source #

s4 :: NPoly LPQ BraidGens Source #

writhe :: NPoly t BraidGens -> Int Source #

k3_1 :: NPoly LPQ BraidGens Source #

k4_1 :: NPoly LPQ BraidGens Source #

k5_1 :: NPoly LPQ BraidGens Source #

k7_1 :: NPoly LPQ BraidGens Source #

# Orphan instances

Invertible LPQ Source # |
Methods inv :: LPQ -> LPQ Source #