|
Контроль за типами объектов
Выражения и их части в Maple 7 рассматриваются
как объекты. В ходе манипуляций с ними важное значение имеет контроль за типом
объектов. Одной из основных функций, обеспечивающих такой контроль, является
функция whattype(object), возвращающая тип объекта, например
string, integer, float, fraction, function и т. д. Могут
также возвращаться данные об операторах. Примеры применения этой функции даны
ниже:
>
whattype(2+3);
integer
> whattype(Pi):
symbol
> whattype(123./5)
float
> whattype(l/3i:
fraction
> whattype(sin(x));
function
> whattype([1.2.3,a,b,c])
;list
> whattype(a+b+c);
+
> whattype(a*b/c):
*
> whattype(a'b):
^
> whattype(H-2+3=4);
=
С помощью функции
type(object.t) можно выяснить, относится ли указанный объект к соответствующему
типу t, например:
>
type(2+3,integer):
true
> type(s1n(x).function);
true
> typeChello,string);
false
> type("hello",string);
true
> typed/3.fraction):
true
При успешном соответствии типа объекта
указанному (второй параметр) функция 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.
|
