In knot theory, the Kauffman polynomial is a 2-variable knot polynomial due to Louis Kauffman. It is initially defined on a link diagram as
where is the writhe of the link diagram and is a polynomial in a and z defined on link diagrams by the following properties:
Here is a strand and (resp. ) is the same strand with a right-handed (resp. left-handed) curl added (using a type I Reidemeister move).