Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

При преобразовании квадратного корня

2012-12-11 00:42:55 (читать в оригинале)

При преобразовании квадратного корня из дискриминанта используются нормализаторы «нормстепень» и «сбросмодуля». Последний нормализатор отбрасывает модули у сомножителей преобразуемого им выражения — в данной ситуации модуль не нужен, так как все равно при определении корней берутся два значения корня из дискриминанта, отличающиеся знаком. При обращении к нормализаторам вводится дополнительная посылка 0 ^ с. Выделим, далее, цепочки [...]

---

Указатель

2012-12-06 18:08:05 (читать в оригинале)

Указатель «программа(1 2 3 4 5)» означает, что все антецеденты. Указатель «пустоеслово(а)» означает, что список оставшихся общих множителей может быть пустым — он нужен, чтобы компилятор не вставил проверку непустоты такого списка. Указатель «пересечениесписков(фикс(0 1 1)фикс(0 1 2))» означает, что заголовки слагаемых (даже после отбрасывания возможных знаков «минус») не обязательно должны быть символами умножения. При [...]

---

благодаря предшествующей стандартизации

2012-12-06 18:05:39 (читать в оригинале)

Являются программно реализуемыми; это возможно из-за того, что встречающиеся в них переменные идентифицированы, согласно фильтрам, с числовыми константами, и со¬ответствующие операции вычитания, определения минимума и максимума, а также проверка неравенств реализуются непосредственно Указатели «перечень(г десчисло(г))» и «перечень(д десчисло(л))» заставляют компилятор сразу идентифицировать г, ,s с произведениями всех числовых множителей рассматриваемых слагаемых В действительности, благодаря предшествующей [...]

---

Общая стандартизация выражений

2012-12-06 18:03:23 (читать в оригинале)

Примем, имеющий теорему указанного выше вида, можно найти в разделе «Элементарная алгебра» — «Тригонометрия» — «Синус» — «Общая стандартизация выражений», «Стандартизация тригонометрических многочленов с применени¬ем тождества…». В концевом пункте этого раздела расположено несколько при¬емов (кроме рассматриваемого здесь применения тождества для суммы квадратов синуса и косинуса, обобщаются также замены вида «1 — (cosx)2 = (sinx)2″ и [...]

---

стандарт программирования на ГЕНОЛОГе

2012-12-06 18:01:24 (читать в оригинале)

Заметим, что хотя бы один из этих остатков всегда равен 0, но для упрощения записи теоремы оба они явно фигурируют в заменяющем выражении. Применение к данному выражению нормализаторов общей стандарти¬зации сразу же отбросит нулевые слагаемые, и в итоге заменяющий терм будет выглядеть вполне неизбыточным образом. Замедление, проистекающее из такого, на первый взгляд не очень экономного [...]