%% 
%%  The LaTeX Graphics Companion, 2ed (first printing May 2007)
%% 
%%  Example 6-7-34 on page 441.
%% 
%%  Copyright (C) 2007 Michel Goossens, Frank Mittelbach, Denis Roegel, Sebastian Rahtz, Herbert Vo\ss 
%% 
%%  It may be distributed and/or modified under the conditions
%%  of the LaTeX Project Public License, either version 1.3
%%  of this license or (at your option) any later version.
%% 
%%  See http://www.latex-project.org/lppl.txt for details.
%% 

\documentclass{ttctexa}
\pagestyle{empty}
\setcounter{page}{6}
\setlength\textwidth{348.0pt}
\StartShownPreambleCommands
\usepackage{vaucanson-g,graphicx}
\StopShownPreambleCommands
\begin{document}
\resizebox{\linewidth}{!}{\begin{VCPicture}{(-11,-5)(11,12)}
 \PlainState\LargeState\ChgStateLabelScale{0.75}
 \StateIF[p,q]{(-10,-1)}{AB} \StateIF[q,r]{(-6,-1)}{BC}
 \StateIF[p,r]{(-8,-4.464)}{AC}
 \VCPut{(-5,-5)}{$\kappa=[2,0,0]$}
 \StateIF[p]{(8,1.536)}{A} \StateIF[q]{(6,5)}{B}
 \StateIF[r]{(10,5)}{C}
 \VCPut{(8,-0.5)}{$\kappa=[1,0,0]$}
 \StateIF[pq]{(-8,7.536)}{Ab} \StateIF[qr]{(-6,11)}{Bc}
 \StateIF[pr]{(-10,11)}{Ac}
 \VCPut{(-2,11)}{$\kappa=[0,1,0]$}
 \StateIF[p,qr]{(0,-1.464)}{ABc} \StateIF[q,pr]{(-2,2)}{BAc}
 \StateIF[r,pq]{(2,2)}{CAb}
 \VCPut{(3,-2)}{$\kappa=[1,1,0]$}
 \StateVar[pq,pr,qr]{(-8,3)}{AbAcBc}
 \VCPut{(-8,1)}{$\kappa=[0,3,0]$}
 \StateIF[pr,qr]{(2,8)}{AcBc} \StateIF[pq,pr]{(0,4.536)}{AbAc}
 \StateIF[pq,qr]{(-2,8)}{AbBc}
 \VCPut{(5,9)}{$\kappa=[0,2,0]$} %--- end physical coordinates
 \DimEdge \ChgEdgeLineStyle{dashed} \RstEdgeLineWidth
 \EdgeR{Ab}{AbAc}{}     \EdgeR{Ab}{AbBc}{}    \EdgeR{Ac}{AbAc}{}     \EdgeR{Ac}{AcBc}{}
 \EdgeR{Bc}{AbBc}{}     \EdgeR{Bc}{AcBc}{}    \EdgeR{AbAc}{AbAcBc}{} \EdgeR{AbAc}{A}{}
 \EdgeR{AbBc}{AbAcBc}{} \EdgeR{AbBc}{B}{}     \EdgeR{AcBc}{AbAcBc}{} \EdgeR{AcBc}{C}{}
 \EdgeR{A}{ABc}{}       \EdgeR{B}{BAc}{}      \EdgeR{C}{CAb}{}
 \EdgeR{AbAcBc}{ABc}{}  \EdgeR{AbAcBc}{BAc}{} \EdgeR{AbAcBc}{CAb}{}
 \EdgeR{ABc}{AB}{}      \EdgeR{ABc}{AC}{}     \EdgeR{BAc}{AB}{}
 \EdgeR{BAc}{BC}{}      \EdgeR{CAb}{AC}{}     \EdgeR{CAb}{BC}{}
 \RstEdge
 \Initial{Ab}     \Final{Ab}     \Final[w]{Ac}    \Final{Bc}
 \Initial{AbAc}   \Initial{AbBc} \Final[s]{AbBc}  \Final{AbAc}   \Final{AcBc}
 \Initial{AbAcBc} \Final{AbAcBc}
 \Initial{A}      \Initial{B}    \Final[s]{B}     \Final{C}
 \Initial{ABc}    \Initial{BAc}  \Initial[s]{CAb} \Final[s]{BAc} \Final{CAb}
 \Initial{AB}     \Initial{AC}   \Initial[s]{BC}
 \Final{BC}
 \EdgeR{Ab}{Bc}{a,b}   \EdgeR{Bc}{Ac}{a}     \EdgeR{Ac}{Ab}{a}
 \EdgeL{AbAc}{AbBc}{a} \EdgeL{AbBc}{AcBc}{a} \EdgeL{AcBc}{AbAc}{a}
 \LoopN{AbAcBc}{a}
 \EdgeL{A}{B}{a} \EdgeL{B}{C}{a} \ArcL{A}{C}{b} \ArcL{C}{A}{a}
 \LoopN{B}{b}
 \EdgeL{ABc}{BAc}{a} \EdgeL{BAc}{CAb}{a} \EdgeL{CAb}{ABc}{a}
 \EdgeL{AB}{BC}{a,b} \EdgeL{BC}{AC}{a}   \EdgeL{AC}{AB}{a}
\end{VCPicture}}
\end{document}
