このディレクトリの索引
#  
#  単位行列とは、対角要素が1で、他の要素はすべて0の正方行列のことです。
#  一般に、単位行列は、アルファベットの「I」で表現します。
#  


'単位行列とは、対角要素が1で、他の要素はすべて0の正方行列のことです。'(_n,_単位行列) :-
length(_単位行列,_n),
findall(_行,'対角要素が1で、他の要素はすべて0'(_n,_単位行列,_行),_単位行列).


'対角要素が1で、他の要素はすべて0'(_n,_単位行列,_行) :-
nth1(M,_単位行列,_行),
対角要素が1で(_n,M,_行,L0,R0),
他の要素はすべて0(L0,R0).


'対角要素が1で'(_n,M,_行,L0,R0) :-
length(_行,_n),
append(L0,[1|R0],_行),
length([_|L0],M).

他の要素はすべて0(L0,R0) :-
すべて(L0,0),
すべて(R0,0).

すべて([],_).
すべて([A|R],A) :-
すべて(R,A).