I will construct the first poly-time-computable knot polynomial since Alexander's (1928) by using some new commutator-calculus techniques and a Lie algebra g1 which is at the same time solvable and an approximation of the simple Lie algebra sl2