Используйте допущения, чтобы ограничить возможную область значений значений переменных или выражений. Для получения дополнительной информации смотрите Использование допущений для символьных переменных. Чтобы проверить, удерживается ли условие, используйте isAlways
.
Используйте допущения к символьным переменным
Моделируйте свою задачу и получайте более простые результаты при помощи допущений.
Очистить допущения и сбросить символьный Engine
Удалите допущения и сбросьте состояние двигателя.