(defun elist2alist (g) (mapcar #'(lambda (v) (adjacency-list-aux v g)) (vertex-list g)))と定義すれば,
> (elist2alist *graph1*) ((d s a) (s d a b) (b c) (a e b c) (e f) (s e a d) (b f d e))となる.この結果が*graph2*と同じかどうかを 調べるには,これらが集合の集合になっていることから 集合の集合が等しいことを調べる手続きを作ればよいことに なる.実際,
> (set-set= *graph2* (elist2alist *graph1*)) tとなって,*graph2*と*graph1*を elist2alistしたものは同じものを指している ことがわかる.