Описание

Переменная окружения MAXEFFORT решает, что усилие допускало heuristical части расчета, измеренного в “рабочих модулях”. Значением по умолчанию является MAXEFFORT = 1000000.

Возможные значения: неотрицательное число с плавающей запятой; или infinity.

MAXEFFORT определяет максимальное количество “рабочих модулей”, которые могут быть потрачены на внутреннюю эвристику.

Один рабочий модуль примерно соответствует 1 000 шагов оценки, выполненных средней функцией ядра.

Безотносительно MAXEFFORT установлен в, каждая функция MuPAD^® возвращает правильное хотя возможно неупрощенный результат; в частности, некоторые функции могут возвратиться неоцененный. MAXEFFORT определяет сумму дополнительного времени, проведенного при получении лучшего или более упрощенного результата; значение infinity средние значения, что всю встроенную эвристику действительно пробуют, значение 0 средние значения, что вся эвристика, которая может приложить значительные усилия, не учтена.

Функция, результат которой исключительно задан, не имеет никакого способа реагировать на MAXEFFORT.

Другие функции выполняют, в любом случае, все расчеты, необходимые, чтобы получить некоторый правильный результат; MAXEFFORT только определяет время, доступное для улучшения того результата. В случае функций, которые могут возвратиться неоцененный сразу (например, solve или int), или может сразу возвратить их вход (как, например, simplify), или может ответить на вопрос UNKNOWN сразу (как, например, is), все их потребление времени считается, чтобы быть потраченным на эвристику (чисто эвристические функции).

Чисто эвристические функции обычно сразу возвратятся, если их вход будет вполне сложным относительно позволенного усилия. Это также верно, если пользователь имеет при условии, что введенный на интерактивном уровне. Для того, чтобы создать трудную проблему, где более длительное время выполнения приемлемо, MAXEFFORT должен быть увеличен.

Упрощение, достигнутое эвристическими методами, может ускорить детерминированные части, такие что маленькое значение MAXEFFORT не обязательно уменьшает общее вычислительное время.

Пользователь может использовать MAXEFFORT в его собственных функциях можно следующим образом: любая функция может использовать усилие, данное MAXEFFORT частично для собственных издержек, и распределяют остальных на функциях, которые они вызывают. Для этого вызывающая сторона имеет к save переменная MAXEFFORT и набор это к тому, что это хочет сделать доступным для вызванной функции. В зависимости от того, необходим ли вызов, чтобы получить правильный результат вообще и является ли вызванная функция эвристическим, существуют следующие случаи, чтобы обработать. Если вызов необходим, и вызванная функция детерминирована, MAXEFFORT не имеет никакого влияния. Если вызов не абсолютно необходим и насколько вызванная функция детерминирована, вызывающая сторона должна вычесть необходимую сумму как собственные издержки от MAXEFFORT если достаточно доступно; в противном случае такой вызов не должен происходить. Насколько вызванная функция работает эвристическим образом (по любой причине, которой она была названа), она должна ограничить свои усилия суммой, данной MAXEFFORT.

Ни при каких условиях не может значение MAXEFFORT при вводе процедуры отличаться от значения при отъезде его, даже не в случае ошибки. save должен использоваться, чтобы гарантировать это.

Никакая функция не может распределить и/или использовать больше, чем сумма, которую это было дано ее вызывающей стороной. Собственные издержки должны быть оценены; если это, предположительно, мало, MAXEFFORT может быть проигнорирован.

Во избежание случая, не восстанавливаемых эффектов, например, другими программами, работающими на том же компьютере, MAXEFFORT не должен использоваться в связи с измерением времени с помощью time или rtime. Например, время выполнения, сохраненное в одном рекурсивном вызове согласно измерению времени, не должно быть предоставлено другому рекурсивному вызову.