Алгебра в системі DERIVE

x2 – 2

розкладається на співмножники

.

Комплексна (Complex) факторизація допускає розкладання, що містить комплексні числа. Наприклад, вираз

x2 + 2

розкладається на співмножники

(x – о)(x + о) .

Вирази, які містять більше однієї змінної, факторизуються за деякими або всіма змінними. Команда Factor видає список, звідки необхідно вибрати змінні, за якими буде виконуватись факторизація.

Підстановка величин

Підстановка (заміна) змінних у виразі або його частині здійснюється командою ManageSubstitute. При виконанні цієї команди DERIVE пропонує послідовно всі змінні, які можуть бути замінені. Якщо ви не хочете заміняти якусь змінну, натисніть клавішу Enter. Для заміни набирайте нове значення (вираз) поверх змінної, що вказана системою DERIVE.

При виконанні вказаної команди ви також можете використовувати клавіші F3 та F4 для підстановки виділених (під)виразів замість змінної.

Введення нескінченних величин

Нескінченність в системі DERIVE вводиться набиранням на клавіатурі inf. У вікні Algebra нескінченність виглядає звичайним чином: * .

Описання областей змінювання змінних

Для описання областей змінювання змінних використовується команда DeclareVariable. При виконанні цієї команди DERIVE запрошує ввести спочатку ім'я змінної

DECLARE variable:

Після введення імені на екрані з'являється підменю:

DECLARE: Domain: Positive Nonnegative Real Complex Interval

Наведене меню не потребує коментарів. Вкажемо лише повідомлення системи, що з'являється при виборі опції Interval:

** (<) * variable (<) * *

Використовуючи клавішу Tab (Space), можна задати строгі або нестрогі обмеження із скінченними або нескінченними границями.

Описання констант

Для утворення констант, що визначаються користувачем, застосовується команда Declare Constant, при виконанні якої з'являється повідомлення