“文件名,维度”;f f:=打开(文件名,维度(1))div 2;r r::[];当真IsEof=s(f);;如果(s),则中断;结束如果;(如果(s eq 0)或(s(1)eq)/)继续;结束t=:[StrtotoType(a):a在分裂(s),]);(i)如果t nne c然后继续;结束f;a Read表:=函数=对称矩阵(ZZ,T);*追加(~r,div内容(a));