mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Let us see if this is closer.

(map tree->path (tree-search (buffer-tree) (lambda(s) (equal? (tree-name 
s) "proposition"))))

gets you the paths of each tree you find, but they are (as far as I can 
see) absolute paths (i.e. with respect to the root tree).

If you want the paths relative to buffer-tree (your search tree) then 
the relative-path function I wrote, applied to (map tree->path 
(tree-search (buffer-tree) (lambda(s) (equal? (tree-name s) 
"proposition")))),  should be able to give you that.

Ple. let me know if this makes sense.

G.

On 01.02.21 01:12, Murali Agastya wrote:
> Thanks Giovanni for the quick response.
> That is however not what I was looking for.   A concrete example may 
> clarify,  (tree-search (buffer-tree) (lambda(s) (equal? (tree-name s) 
> "proposition")))  will give be a list of all the "proposition" trees.  
> How do I get the  path of each of those "proposition" trees in the 
> above list?
> best,
> Murali
>
>
> On Mon, Feb 1, 2021 at 10:42 AM Giovanni Piredda <address@hidden 
> <mailto:address@hidden>> wrote:
>
>
>     Am 01.02.2021 um 00:00 schrieb Murali Agastya:
> >     Hello all,
> >
> >     I am able to get a list of all the subtrees of a given *name* in
> >     a given tree *T * using the  function
> >     (tree-search T  (lambda(s) (equal? (tree-name s) name)) )
> >
> >     Can someone help me with an analogous script that returns the
> >     list of relative paths of those trees instead of the trees
> >     themselves?
> >
> >     Thank you and kind regards,
> >     Murali
>
>
>     It is possible that I am misunderstanding your question, said this.
>
>     Get the list of paths of the subtrees mapping tree->path on the
>     results of your expression
>
>     Get the path of the parent tree with (tree->path T)
>
>     Use the following to map onto the list of paths (assumes parent is
>     a parent of child!):
>
>     (define (relative-path parent child)
>       (cond ((null? parent) child)
>             (else (relative-path (cdr parent) (cdr child)))))
>
>     With results:
>
>     (relative-path '(1 2 3) '(1 2 3))
>
>     ; ()
>
>     (relative-path '(1 2 3) '(1 2 3 4))
>
>     (4)