pair.index function

Maps integer pairs (u,v) with 0<u<v bijectively to positive integers.