Матрица в типизированном файле Опции

[iFool]

Задача.
Пусть матрица А целых чисел размером 100*100 записана по строкам в файле. Определите, является ди она единичной.

Мне не понятно как запихнуть матрицу в типизированный файл и, самое главное, как потом проверить условие....
Помогите, пожалуйста...

[Neznaika]

Вот, что получилось у меня:

 program My_TEST2;  { Проверка единичной матрицы 100x100. }
 const
   N = 100;
 var
   F : File of Integer;
   I, J, K : Integer;
 label
   LabelMatrixIsNotE, LabelCloseFile;
 begin
   if ParamCount <> 1 then
     begin
       Write('Необходимо имя файла!');
       Exit
     end;
   Assign(F,ParamStr(1));
   Reset(F);
   for I := 1 to N do
     for J := 1 to N do
       begin
         Read(F,K);
         if (Ord(I<>J) + K) <> 1 then
           goto LabelMatrixIsNotE
       end;
   Write('Матрица единичная.');
   goto LabelCloseFile;
 LabelMatrixIsNotE:
   Write('Матрица НЕ единичная!');
 LabelCloseFile:
   Close(F)
 end.
 

Объяснение "(Ord(I<>J) + K) <> 1":
I и J изменяются от 1 до 100. Для диагональных элементов матрицы I = J. K - соответствующий элемент матрицы.
Возможны два ПРАВИЛЬНЫХ варианта:
1) I = J, K = 1.
2) I <> J, K = 0.
Первые условия могут быть либо TRUE, либо FALSE и отрицают друг друга.
Пусть (I=J) будет эквивалентно FALSE, тогда (I<>J) будет эквивалентно TRUE. Получим
1) FALSE, K = 1.
2) TRUE, K = 0.
Здесь уже видна СИММЕТРИЯ(которая собственно и нужна для создания подобных выражений), а именно
порядковые номера FALSE и TRUE равны соответственно 0 и 1(Ord(FALSE) = 0, Ord(TRUE) = 1). Получили
1) 0, K = 1.
2) 1, K = 0.
Видно, что когда матрица ЕДИНИЧНАЯ, то (0 + 1) = (1 + 0) = 1. Когда матрица НЕ ЕДИНИЧНАЯ, то
складывая 0(для 1)) или 1(для 2)) с K получить 1 не удастся. Следовательно
if (Ord(I<>J) + K) <> 1 then МАТРИЦА НЕ ЕДИНИЧНАЯ

В архиве простенькая программа генерации единичной матрицы и программа "простой" проверки(My_TEST1).

P.S.
Так используются два цикла for и оба они прерываются при первой ошибке(при появлении первого "неправильного" элемента матрицы), Break для выхода из циклов применить нельзя, поэтому
используется оператор GOTO. Даже целых два GOTO(бонус ).