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

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 #