Greedy skein reduction
Skein code simplification
.
.
Polynomial invariants