We construct the first poly-time-computable knot polynomial since
Alexander's~\cite[1928]{Alexander:TopologicalInvariants} by using some
new commutator-calculus techniques and a Lie algebra ${\mathfrak g}_1$ which
is at the same time solvable and an approximation of the simple Lie
algebra $sl_2$.