read `JointConductance.txt`: print(`The rational generating functions for the number of spanning trees in the m by n Grid Graph for m from 1 to 7`): for k from 1 to 7 do gu:=GFGridPreCal(k,t): print(``): print(`-----------------------------------`): print(``): print(`Theorem Number `, k): print(``): print(`Let `, A(k,n), `be the number of spanning trees of the`, k, `by n rectangle, and let `): print(``): print(f[k](t)=Sum(A(k,n)*t^n,n=1..infinity)): print(`Then`, f[k](t), `equals the following rational function `): print(``): print(gu): print(``): print(`and in Maple format`): print(``): lprint(gu): print(``): mu:=taylor(gu,t=0,31): mu:=[seq(coeff(mu,t,i),i=1..30)]: print(``): print(`For the sake of the OEIS, here are the first 30 terms`): print(``): print(mu): print(``): od: quit: