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

Нормализаторы приведения к заданным заголовкам

2013-01-03 15:15:00 (читать в оригинале)

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