Pivot(A, i, j) 関数は、0 でない成分 A[i,j] について A のピボット操作を行います。第 i 行の倍数が、A の他のすべての行に加えられ、A の j 列目の成分は (i, j) 成分を除いてすべて 0 となります。

Pivot(A, i, j, L) 関数は、L で示される行だけが変形されるのを除けば Pivot(A, i, j) と同じように働きます。 L に含まれていない行は、影響されません。L 内で重複する行や L 内に i があれば、それらは無視されます。パラメータ L に関する詳しい情報は、 Matrix and Vector Entry Selection を参照してください。

inplace オプション (ip) は結果が返される場所を決めます。inplace=true が与えられれば、結果は最初の引数に上書きされます。 inplace=false が与えられるか、または呼び出し手順に含まれていないときは、結果は新しい行列として返されます。

inplace=true という条件は、inplace と略記することができます。

inplace オプションは、注意して使わなければいけません。なぜなら、演算が失敗すれば元の行列 (あるいはベクトル) の引数は壊れてしまうかもしれないからです。

outputoptions  オプション (outopts) は、結果を作成する Matrix コンストラクタに付加情報 (readonly, shape, storage, order, datatype,  attributes) を与えます。

inplace と outputoptions  オプションは両立しません。

この関数は LinearAlgebra パッケージの一部ですから、with(LinearAlgebra) を実行した後にのみ Pivot(..) の形で使うことができます。ただし、長い形の名前 LinearAlgebra[Pivot](..) を使えばいつでもアクセスすることができます。

with(LinearAlgebra):
A := <<1,5,9,3,7>|<2,6,0,4,8>|<3,7,1,5,9>|<4,8,2,6,0>>;

A := Pivot(A, 2, 1);

A := Pivot(A, 1, 2, [4..-1, 3]);