with integertbeolvas, matrixok, text_io; use matrixok, text_io;
procedure Matr is
	m, n, k: INDEX;
	procedure Kiir ( m: in MATRIX; str: in STRING :="" ) is
	begin
		Put_Line(str);
		for i in m'range(1) loop
			for j in m'range(2) loop
				Put(INTEGER'IMAGE(INTEGER(m(i,j))));
				Put(ascii.ht);
			end loop;
			New_Line;
		end loop;
	end Kiir;

	procedure Beolvas ( m: out MATRIX; str: in STRING := "" ) is
	begin
		Put_Line(str);
		for i in m'range(1) loop
			for j in m'range(2) loop
				Put(INDEX'IMAGE(i)&','&INDEX'IMAGE(j)&": ");
				m(i,j) := ERTEK(IntegertBeolvas);
			end loop;
		end loop;
	end Beolvas;
begin
	New_Line(2); Put_Line("Matrixszorzas..."); New_Line;
	Put_Line("Usd be a matrixok dimenziojat: ");
	Put("m = "); m := INDEX(IntegertBeolvas);
	Put("n = "); n := INDEX(IntegertBeolvas);
	Put("k = "); k := INDEX(IntegertBeolvas);
	declare
		A: MATRIX(1..m,1..n);
		B: MATRIX(1..n,1..k);
	begin
		Beolvas(A,"Az elso matrix:");
		Beolvas(B,"A masodik matrix:");
		Kiir(A*B,"Az eredmeny:");
	end;
end Matr;