Math.Projects.KnotTheory.Braid

Documentation

type LPQ = LaurentMPoly Q

data BraidGens

Constructors

S Int

Instances

Eq BraidGens

Ord BraidGens

Show BraidGens

Invertible (NPoly LPQ BraidGens)