1. Nazariy qism Ifoda va ularning turlari

simplify(f);

ln( e ^x)

• 
  simplify(f,ln,assume=real);
  

x

Soddalashtirishning oddiy komandasida, Maple ifodadagi o’zgaruvchilarni kompleks sohaga tegishli deb hisoblaydi. Ba’zi ko’p qiymatli funksiyalar ishtirok etgan(masalan ildizli ifoda) holda uni soddalashtirishda ko’p qiymatliligini e’tiborga olmaslik uchun symbolic parametrini ishlatish zarur.

• 
  f:=sqrt(x^A2);
  

f = V?

• 
  simplify(f);
  

csgn(x) x

• 
  simplify(f,assume=real);
  

I x

• 
  simplify(f,assume=positive);
  

x

• 
  simplify(f,symbolic);
  

x

Ifodalami foydalanuvchilaming biror qoidasi asosida soddalashtirish kerak bo’lsa, simplify(, {tenglik1, tenglik2, ...}); ko’rinishdagi komandani qo’llanadi.

Biror ifodani nolga teng deb hisoblash lozim bo’lsa, uni { } da yozish kerak. Misol:

• 
  g:=a^A2+b^A2+c;
  

g := a² + b² + c

• 
  simplify(g,{b^A2,a^A2+c=1});
  

1

Soddalashtirish natijasini ifodada ishtirok etuvchi o’zgaruvchilarning ma’lum bir tartibi bo’yicha qo’llash va aks ettirish mumkin. Buning uchun komandada ularning to’plamini {} bilan yoki ro’yxatini [ ] bilan ko’rsatish kerak. To’plam ko’rinishda berilganda oldin ifoda o’zgaruvchilarning darajasiga nisbatan tartiblanadi, keyin soddalashtiriladi. Ro’yxat ko’rinishda berilganda ifoda oldin ro’yxatda birinchi ko’rsatilgan o’z-garuvchi darajasiga nisbatan soddalashtiriladi keyin bu jarayon qolgan o’zgaruvchilarga nisbatan qo’llaniladi. Bu qoida to’g’risida to’liq ma’lumot olish uchun ?simplify[siderels] komanda qo’llanadi.