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