The drawing of graphs described here uses  graphviz  , a software for drawing graphs developed at AT & T Labs, that can be obtained at  http://www.research.att.com/sw/tools/graphviz/  .
If you work under  LINUX  , you should install graphviz and create the directory  ~ /dot-tmp  .
| > DrawAutomaton( A[, file] ) | ( function ) | 
This function draws automaton  A  writing the needed data in file ~ /dot-tmp/file.
| > DrawAutomata( A, B[, file] ) | ( function ) | 
This function tests if automaton  A  is a subautomaton of  B  in which case draws  B  highlighting the edges not in  A  by drawing them in a dotted style, while the others are drawn in a plain style and writes the needed data in file ~ /dot-tmp/file.
| > DrawGraph( G[, file] ) | ( function ) | 
Draws a graph specified as an adjacency list  G  and writes the needed data in file ~ /dot-tmp/file.
| > DrawSCCAutomaton( A[, file] ) | ( function ) | 
Draws automaton  A  and highlights it's strongly connected components by drawing their edges in a dotted style and their vertices in a lighter colour. Writes the needed data in file ~ /dot-tmp/file.
generated by GAPDoc2HTML