rhs ..... 式の右辺を返す関数

書式

rhs(式)

で用い、「式」の右辺を返す。

(%i1) rhs(x + y = 2);

(%o1)                             2


(%i2) 1 + 1/x <= 1 + 1/y;

                           1        1
(%o2)                      - + 1 <= - + 1
                           x        y


(%i3) rhs(%);

                                1
(%o3)                           - + 1
                                y


(%i4) rhs(f(x) := x^2);

                                  2
(%o4)                            x

方程式や不等式以外の式の場合は、0 を返す。

(%i5) rhs(100);

(%o5)                             0


(%i6) rhs(sin(x) + cos(x));

(%o6)                             0


(%i7) rhs(a: 7);

(%o7)                             0

最後の例 (%i7) のように、「引数の式の評価」が先に実行され、その後に関数 rhs が適用される。

(%i8) rhs(x >= 1/2 + 1/3);

                                  5
(%o8)                             -
                                  6
従って、例えば代入(:)において、評価前の右辺を取得する必要がある場合は、単引用符を用いて評価前の状態を保存しておく必要がある。
(%i9) '(x: 5);

(%o9)                           x : 5


(%i10) rhs(%);

(%o10)                            5

補足 rhs は right hand side の略。対義語は left hand side。cf. lhs