Adjoint(A) 関数は、A. M = Determinant(A) . IdentityMatrix(Dimensions(A)) の条件をみたすような行列 M を作成します。

A が正則行列なら、随伴行列は一意的に決まります。

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

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

with(LinearAlgebra):
A1 := <<9,4,1>|<1,3,-1>|<0,8,1>>:
C1 := Adjoint(A1, outputoptions=[datatype=float]);

A1 . C1;

Determinant(A1);

A2 := <<a,2*a>|<3,-a>>:
C2 := Adjoint(A2);

A2 . C2;

Determinant(A2);