Математическая формула, над которой будут производиться преобразования, записывается в следующей форме: > eq:=expr1=expr2; где eq – произвольное имя выражения, expr1 – условное обозначение левой части формулы, expr2 – условное обозначение правой части формулы.
Выделение правой части выражения осуществляется командой rhs(eq), выделение левой части выражения – командой lhs(eq). Рассмотрим пример:
> eq:=a^2-b^2=c;
> lhs(eq);
> rhs(eq);
Если задана рациональная дробь вида a/b, то можно выделить ее числитель и знаменатель с помощью команд numer и denom, соответственно.
Пример:
> f:=(a^2+b)/(2*a-b);
> numer(f);
> denom(f);