graph 1 3 Sections Graphs Doc

Def non-trivial-loop(G;i) == j:Vertices(G). j = i & i-G- > *j & j-G- > *i

is mentioned

In prior sections: graph 1 2

Try larger context: Graphs

graph 1 3 Sections Graphs Doc