Установка свойств (Properties...)
Одно из определяющих понятий в операционных системах Windows 95/NT — свойства различных объектов. Это могут быть цвета выделений, характер эволюции математических выражений и т. д. Операция
Properties... (Свойства) позволяет устанавливать свойства различных объектов. Таким образом, это
контекстно-зависимая операция и ее диалоговые окна могут несколько отли чаться для разных объектов. Выбор объектов, как обычно, задается установкой в них курсора мыши.
На рис. 6. 12 показано окно установки свойств для объекта — математического выражения.
Рис. 6. 12 Установка свойств математического выражения
В данном случае окно имеет панельный переключатель с двумя позициями:
Displayed (Отображение) — свойства вывода;
Calculation (Вычисления) — свойства вычислений.
К свойствам вывода в данном случае относится лишь наличие или отсутствие подкраски фона математического выражения. Активизируя кнопку Choose Color...
(Выбрать цвет), можно вызвать окно задания цвета фона выражений, оно показано справа от окна установки свойств на рис. 6. 12.
Панель Calculation (см. рис. 6. 13) предназначена для отключения или включения эволюции математических выражений. Под эволюцией математических выражений подразумевается их активность. Напоминаем, что обычно математические выражения активны и выполняют определенные действия. Однако, используя опцию Dissable Evalution (Отключение эволюции), выражение можно сделать пассивным, т. е. просто комментарием.
Рис. 6. 13 Окно свойств с включенной панелью Calculation
Еще одно важное свойство математических выражений — их оптимизация. Опция Enable Optimization (Включить оптимизацию) включает режим оптимизации. При этом выражение, если оно вычисляется, представляется в аналитическом виде всегда, когда это возможно. Это свойство может привести к заметному ускорению вычислений в тех случаях, когда оптимизирующее выражение проще исходного. Особенно заметен выигрыш в скорости вычислений при использовании функций (например, функций вычисления интегралов или производных) численными методами.
