Digits:=20; read "everything.txt": read "gram.txt": read "autoset.txt": read "func_file.txt": read "genlevel6.txt": read "genlevel5.txt": path:="../data/": T:=gasket(7); lvl:=6; topfunc:=makeOrthoEigen5(T,lvl,path); for i from 1 to topfunc do for j from i to topfunc do print(cat("(",i,",",j,")= ",discInnerProduct(T,lvl,11+i,11+j))); end do; end do;