Системы компьютерной алгебры. Работа с системой Maple. Федотов А.В. - 18 стр.

    При успешном соответствии типа объекта указанному (второй
параметр) функция type возвращает логическое значение true, в
противном случае — false.
    Для более детального анализа объектов может использоваться
функция hastype(expr. t), где ехрr — любое выражение и t —
наименование типа подобъекта.
    Эта функция возвращает логическое значение true, если подобъект
указанного типа содержится в выражении ехрr. Примеры применения
этой функции даны ниже:
    > hastype(2+3,integer);
    true
    > hastype(2+3/4.integer):
    false
     > hastype(2*sin(x).function);
    true
    > hastype(a+b-c/d,'+'):
    true
    Еще одна функция has(f.x) возвращает логическое значение true,
если подобъект х содержится в объекте f, и false в ином случае:
    > has(2*sin(x),2);
    true
    > has(2*sin(x).V);
    false
    > has(2*sin(x),3-l);
    true
    Следует отметить, что соответствие подобъекта выражения
указанному подобъекту понимается в математическом смысле. Так, в
последнем примере подобъект «3 - 1», если понимать его буквально, в
выражении 2*sin(r) не      содержится,   но     Maple-язык      учитывает
соответствие 3 - 1 = 2, и потому функция has в последнем примере
возвращает true.

    Подстановки
    Функциональные преобразования подвыражений
    Нередко бывает необходимо заменить некоторое подвыражение в
заданном выражении на функцию от этого подвыражения. Для этого
можно воспользоваться функцией applyop:


                                     18