Компьютерная математика и пакет Maple

         

а вначале задан признак положительности,



Шаг 2

В этом примере переменной а вначале задан признак положительности, а затем а<=0. Оба признака удовлетворяются только при a= 0, что и подтверждает вывод информации о статусе этой переменной функцией about (а).
Предполагаемую переменную можно также изменить путем присваивания ей нового значения, противоречащего ее статусу:

Содержание раздела