Последним размещен фильтр, сравнивающий новое уравнение с исходными.
Он имеет вид "или(Лi Л2Л3)", где А\ — подфильтр "упрощение(х9 и(/ фикс(1 1) фикс(2 1)) число(вид(х9 плюс(х10 х11)) единица(0 х11) не(известно(х10))))"; А2 — подфильтр "упрощение(х9 и(/ фикс(1 1) фикс(2 1)) числонеизвестных(х9))"; А3 — подфильтр "и(входит(полный комментарии) контекст(неизвестная(х9) линейно(/ х9)))" В этих подфильтрах указатели вхождения "фикс(1 1)" и "фикс(2 1)" ссылаются на левые части первого и второго исходных уравнений; / есть левая часть нового уравнения. Первый подфильтр означает, что левая часть каждого из исходных уравнений имеет строго больше неизвестных слагаемых, чем /. Второй означает, что левая часть каждого из исходных уравнений имеет большее число неизвестных, чем f Наконец, третий означает, что при обращении к анализатору был введен.
Комментарий "полный", причем результат / линеен хотя бы по одной из неизвестных задачи, входящих в /. Заметим, что комментарий "полный" вводится автоматически в тех случаях, когда максимальный уровень текущей задачи на исследование не менее 7 При решении систем алгебраических уравнений это означает вторую попытку вывода следствий из объединенного списка условий и посылок
Опубликовал vovan666
February 25 2013 09:43:19 ·
0 Комментариев ·
3863 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
