%% %% 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}