書式

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

(%i1) x + y = 1;

(%o1)                         y + x = 1


(%i2) lhs(%);

(%o2)                           y + x


(%i3) 1 = x + y;

(%o3)                         1 = y + x


(%i4) lhs(%);

(%o4)                             1


(%i5) lhs(x < y);

(%o5)                             x


(%i6) lhs(x >= z);

(%o6)                             x


(%i7) lhs(f(x) := x^2);

(%o7)                           f(x)

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

(%i8) lhs(sin(x) + cos(x));

(%o8)                      sin(x) + cos(x)


(%i9) lhs(2 * x + 3 * x);

(%o9)                            5 x


(%i10) lhs(x : 5);

(%o10)                            5

最後の 2 例のように、「引数の式の評価」が先に実行され、その後に関数 lhs が適用される。従って、代入（:）において、評価前の左辺を取得する必要がある場合は、単引用符を用いて評価前の状態を保存しておく必要がある。

(%i11) '(a: 5);

(%o11)                          a : 5


(%i12) lhs(%);

(%o12)                            a

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