RationalCoefficients(expr, elems) 関数は、有理数 _X1, _X2, ... に関して、以下の等式を解こうと試みます。

RationalCoefficients 関数が成功に終わると、expr がいくつかの有理数を係数として用いた elems の線形結合であることを表す、有理数のリストが返されます。そうでない場合には、値 FAIL が返されます。

この関数は、SolveTools パッケージの一部であり、コマンド with(SolveTools) を実行した後でのみ、RationalCoefficients(..) の形で使用が可能です。しかし、SolveTools[RationalCoefficients](..) を用いて、コマンドの長い形によりアクセスすることも常に可能です。

with(SolveTools):
RationalCoefficients(2*a+3*b,[4*(a-b),5*a+3*b]);

RationalCoefficients(2*a^2+3*b,[a,b]);

RationalCoefficients(a,[a,2*a]);

RationalCoefficients(1/2*a,[a,2*a]);

RationalCoefficients(1/2*a,[a^2,2*a]);