> W_13_9 := CirculantMatrix([0,1,0,1,1,0,0,-1,-1,1,1,-1,1]):

> writeto("W14.9.txt");