x\documentclass{article}
\usepackage{../../src/scripts/tex/axiom}
\begin{document}
\title{\$SPAD/src/algebra dhmatrix.spad}
\author{Timothy Daly}
\maketitle
\begin{abstract}
\end{abstract}
\eject
\tableofcontents
\eject
\section{package GRAPHVIZ GraphicVisualization}
<<package GRAPHVIZ GraphicVisualization>>=
)abbrev package GRAPHVIZ GraphicVisualization

GraphicVisualization(): Exports == Implementation where
  ++ This package provides access to the Graphviz graph visualization tool
  Exports ==> with
   newgraph: () -> %
    ++ make a new, empty graph
   node: (%, String, String) -> %
    ++ add from -> to link to graph
   display: % -> %
    ++ display the graph
  Implementation ==> add
   Rep := List(Record(start:String, end:String))
   newgraph() == []::Rep
   add(graph:%, start:String, end:String) == cons(Record(start,end),graph)
   display(graph:%) == graph
    
@
<<*>>=
<<package GRAPHVIZ GraphicVisualization>>
@ 
\eject
\begin{thebibliography}{99}
\bibitem{1} Paul, Richard,
{\sl Robot Manipulators},
MIT Press, Cambridge, Mass.,
(1981)
\end{thebibliography}
\end{document}