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