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

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

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

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