Math.Projects.KnotTheory.LaurentMPoly
data LaurentMonomial
degLM
denominatorLM
lcmLM
divLM
data LaurentMPoly r
cmpTerm
mergeTerms
collect
lm
lc
lt
quotRemLP
reduceLP
var
t
x
y
z
denominatorLP
inject
sqrtvar
subst
(^^^)