Пример 1

Идентификатор a является первым операндом выражения:

prog::find(a + b + c, a)

Номер 1 несколько раз происходит:

prog::find(f(1, 1, 1), 1)

Пример 2

Идентификатор a является первым операндом второго операнда первого операнда выражения:

prog::find(b*(a - 1) + b*(x - 1), a)

Результат prog::find может использоваться, чтобы получить доступ к элементу с op или заменить его на subsop:

op(b*(a - 1) + b*(x - 1), [1, 2, 1]);
subsop(b*(a - 1) + b*(x - 1), [1, 2, 1] = A)

Пример 3

Сколько вызовов return sin содержит?

nops([prog::find(sin, return)])

sin содержит много вызовов return! Однако sin является функциональной средой, и слоты исследованы, также. Чтобы исследовать только основную процедуру, возьмите первый операнд функциональной среды:

nops(prog::find(op(sin, 1), return))

Пример 4

prog::find может также найти все объекты данного типа:

nops(prog::find(sin, DOM_PROC, Type))

Чтобы найти только процедуры верхнего уровня, опцию, Depth может использоваться:

nops(prog::find(sin, DOM_PROC, Type, Depth = 1))

Пример 5

prog::find работает с таблицами, и другой содержит, также:

T := table(1 = sin(x), 2 = cos(x), 3 = tan(x),
           4 = tan(y), 5 = sin(y), 6 = cos(y)):
prog::find(T, sin)

prog::find(T, "cos", Type)

Пример 6

В этом примере мы показываем, как управлять существующей функцией заменой. Мы используем subsop для замены и prog::find, чтобы получить путь для замены. Здесь мы заменяем ^ - функционируют функциональным mypower, который дополнительно считает количество его вызовов:

f := x -> `+`(x^j $ j = 1 .. random(10)()):
mypower := (b, e) -> (count := count + 1;  b^e):
map([prog::find(f, `^`)],
    X -> (f := subsop(f, X = mypower))):

После вызова функционального f десять раз в цикле, мы видим получившееся количество вызовов ^ в count:

count := 0:
for i from 1 to 10 do f(i); end:
count

Возвращаемые значения

Список чисел, которые определяют положение данного объекта в данном выражении или последовательности списков, если выражение несколько раз содержит объект