Dror Bar-Natan: Talks: Banff-2504:									http://drorbn.net/ba25

Pensieve header: Computing the Kauffman bracket in 4 lines of code.

Good mathematicians try not to use a theorem unless they know how to prove it (some exceptions allowed).
Those same mathematicians should not be using code unless they could have written it themselves (exceptions allowed, and even if not as well).

SetAttributes[p,Orderless]

pd=X[1,8,2,9]X[3,6,4,7]X[5,10,6,1]X[7,2,8,3]X[9,4,10,5]

s1=pd/.X[i_,j_,k_,l_]:>A p[i,j]p[k,l]+(A^(-1))p[i,l]p[j,k]

Short[s2=Expand[s1],10]

s3=s2//.p[i_,j_]p[j_,k_]:>p[i,k]

s4=Expand[s3/.((p[_,_])^(_.))->(-(A^2)-(A^(-2)))]

When possible, make your code look like the math and include it in your papers!

A Challenge to the Masters: Can you write a readable informative 20-line program that will compute the hyperbolic volume of any knot in the Rolfsen table?