このディレクトリの索引

% *** user: 正方行列の行列式の値 / 2 ***
正方行列の行列式の値(_正方行列,_行列式の値) :-
    ガウス行列に変形(_正方行列,X,Y),
    '行列式|C|の値'(X,Z1),
    ならびの積(Y,Z2),
    _行列式の値 is Z1 // Z2.

% *** user: ならびの積 / 2 ***
ならびの積([A],A) :- !.
ならびの積([A|R],X) :-
    ならびの積(R,Y),
    X is A * Y.

% *** user: '行列式|C|の値' / 2 ***
'行列式|C|の値'(_行列,_値) :-
    length(_行列,Len),
    findall(U,(for(1,N,Len) , list_nth(N,_行列,_行) , list_nth(N,_行,U)),L),
    ならびの積(L,_値).