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