read Cfinite:

print(`The following verifies the Kasteleyn's formula (Eq. (15) in his classic paper), for symbolic z for all even n from 2 to 10`):



for n from 2 to 6 by 2 do
print(`When n=,`, n, `the formula is`):
print(evalb(KastF(n,z)=DimerData(z)[n])):
od:







quit: