Notes for AKT-090910-2/0:02:16

Invariance under R2 forces us to set (after computation and comparison):

[math]\displaystyle{ B=A^{-1} }[/math]

[math]\displaystyle{ d=-A^2-A^{-2} }[/math]

Now, the Kauffman bracket becomes a Laurent polynomial in a single variable, [math]\displaystyle{ A }[/math].