Digits:=20:
read "everything.txt":
read "func_file.txt":
read "funcarith.txt":

T:=gasket(7):

lvl:=4:
path:="../data/":
numEigens:=120:
startEigen:=12:
for i from 1 to numEigens do
	readFunc(T,i+startEigen-1,cat(path,"4eigen.",i)):
end do:
for i from 1 to numEigens do
	m:=discInnerProduct(T,lvl,i+startEigen-1,i+startEigen-1):
        printf("(%d,%d)=%20.20g\n",i,i,m):
end do: