Каждое алгебраическое выражение хранися системой Maple в виде древовидной структуры, обеспечивая тем самым доступ к любому ее члену или подвыражению, а также позволяя выполнять над ними разнообразные символьные преобразования. В представлении этой структуры каждый объект Maple делится на подобъекты первого уровня, которые, в свою очередь, также делятся на подобъекты и т.д.
Команды, позволяющие выделять части объектов:
| rhs(уравн) | Выделение правой части уравнения (или конца диапазона) |
| lhs(уравн) | Выделение левой части уравнения (или начала диапазона) |
| numer(дробь) | Выделение числителя числовой или алгебраической дроби |
| denum(дробь) | Выделение знаменателя числовой или алгебраической дроби |
| nops(выр) | Определяет количество операндов в выражении |
| op(выр) op(n,выр) | Выдает операнды выражения в виде списка, Извлекает n-ый операнд выражения |
| select(б ф, выр) | Выделяет в выражении операнды, для которых булева функция дает значение true |
| remove(б ф, выр) | Выделяет в выражении операнды, для которых булева функция дает значение false |
| indets(выр, тип) | Выделяет в выражении подвыражения заданного типа('*', '+' ...) |
Познакомимся с этими командами более подробно.
Уравнение представляется в виде двух выражений, соединенных знаком равенства. Его не следует путать с операцией присваивания (:=). Уравнение является объектом Maple и служит для задания действительных уравнений. Его можно использовать в правой части операции присваивания, именуя тем самым уравнение.
 | Команды lhs( ) и rhs( ) позволяют выделить левую и правую части уравнений (или, применительно к диапазонам, их начало и конец). |
| Команды numer( ) и denom( ) выделяют, соответственно, числитель и знаменатель дроби, причем перед выделением этих частей дробей Maple осуществляет их упрощение, приводя к нормальной форме. |  |
 | Команда nops( ) определяет количество операндов в выражении, а команда op( ) выдает их в виде последовательности выражений. Эта же команда позволяет извлечь конкретный операнд выражения, указав в качестве первого параметра его порядковый номер. Отметим, что операндами списка или множества являются его элементы. |
 | Команды select( ) и remove( ) были ранее рассмотрены в разделе ???. Для работы этих команд необходимо в качестве первого параметра указать булеву функцию, результатом работы которой будет ответ true или false. Maple предлагает большое количество булевых функций, которые можно использовать в командах select( ) и remove( ) для работы со структурой выражений. |
 | Команда has( выражение, подвыражение) определяет, содержится ли некоторое подвыражение в заданной выражении. Команда has( ) понимает только те подвыражения, которые могут быть определены с помощью команды op( ). Для выделения в выражении членов, содержащих некоторую функцию в команде has( ) следует задавать лишь ИМЯ этой функции (без аргументов). |
В функции has( ) можно задать несколько подвыражений в виде списка. Ее результатом будет ИСТИНА тогда и только тогда, когда найдено хотя бы одно из подвыражений в списке.
| Еще одна булева функция hastype( выражение, тип) определяет, содержит ли выражение подвыражения заданного типа. Если из выражения необходимо выделить не операнды, содержащие подвыражения заданного типа, а сами подвыражения, то следует использовать функцию indets( выражение, тип). Эта функция возвращает в виде множества все подвыражения указанного типа. |  |
