Заголовок приема — "замена(второйтерм извлечение)", фильтров прием не имеет Указатель "единица(1 6)" разрешает принимать параметру Ь вырожденное единичное значение Указатель "вход(новаргумент с d)" определяет дополнительную идентификацию, состоящую в том, что находится комментарий ("новаргумент А В"), и переменные с, d идентифицируются, соответственно, с А и В Указатель "контекст(вид(с тангенс(а)))" также определяет дополнительную идентификацию, если заголовком выражения, идентифицированного с г, является "тангенс", то переменная а идентифицируется с аргументом тангенса После того, как прием убедился, что требуется переходить к тангенсам заданного аргумента, и идентифицировал вхождение четной степени косинуса этого аргумента, он применяет указанное выше тождество. В его заменяющей части лишь знаменатель обрабатывается нормализатором общей стандартизации "нормстепень".
Вообще, обработка нормализаторами заменяющих термов в случаях перехода к специальным подвыражениям должна предприниматься осторожно, чтобы эти подвыражения после нее не пропали.
В качестве первого примера рассмотрим разложение на множители по формуле суммы кубов. Прием расположен в разделе "Элементарная алгебра" - "Умножение" - "Нормализатор разложения на множители ВИДУМНОЖЕНИЕ" - "Тождества для непосредственного разложения на множители" - "Сумма кубов". Берется второй из двух приемов данного раздела. Теорема приема имеет вид.
Опубликовал Kest
January 03 2013 15:51:11 ·
0 Комментариев ·
2976 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.