% tests/testpgf.tex: test PGF/TIKZ diagrans
% This file:
%   http://angg.twu.net/dednat5/tests/testpgf.tex.html
%   http://angg.twu.net/dednat5/tests/testpgf.tex
%                    (find-dn5 "tests/testpgf.tex")
% Author: Eduardo Ochs <eduardoochs@gmail.com>
% Version: 2011may15
% License: GPL3
%

% To compile this file and display the result I use this:
%   (defun m () (interactive) (find-dn5sh "make veryveryclean; make S=$S LUA51_=$(which lua5.1) tgz"))
%   (defun c () (interactive) (find-dn5sh "cd tests/; make testpgf.veryclean; make testpgf.pdf"))
%   (defun c () (interactive) (find-dn5sh "cd tests/; pdflatex testpgf.tex"))
%   (defun c () (interactive) (find-dn5sh "cd tests/; dednat5 -t testpgf.tex && pdflatex testpgf.tex"))
%   (defun d () (interactive) (find-xpdfpage "~/dednat5/tests/testpgf.pdf"))
% See:
%   (find-dn5 "tests/Makefile" "testpgf")
%   (find-dn5 "tests/testpgf.dnt")
%   http://angg.twu.net/dednat5/tests/testpgf.pdf   <-- output
% This file tests:
%   (find-dn5 "pgfiff.lua")
%   (find-dn5 "dednat5.lua")

\documentclass{article}
\usepackage{tikz}
\usepackage{amsmath}
\input testpgf.dnt     % (find-fline "testpgf.dnt")
\begin{document}

%L dofile "testpgf.lua"   -- (find-dn5 "tests/testpgf.lua")

The Kite DAG, in PGF:
%
%D diagram Kite
%D 2Dx     100 +20 +20
%D 2D  100     X
%D 2D
%D 2D  +20 U       V
%D 2D
%D 2D  +20     W
%D 2D
%D 2D  +20     O'
%D 2D
%D (( X U <- X V <-
%D    U W <- V W <-
%D    W O' <-
%L    PP(nodes)
%D ))
%D endpgfdiagram
%D
$$\diag{Kite}$$

% (find-LATEX "2010unilog-current.tex" "cheap-and-exp-adjs-2")

\newpage

\def\sm#1{\begin{smallmatrix}#1\end{smallmatrix}}
\def\id{id}
\def\aa{\alpha}
\def\bb{\beta}
\def\ee{\epsilon}

%D diagram adj-reconstruction-LR
%D 2Dx     100     +30    +40     +30     +40     +30
%D 2D  100                L0 <--| L1
%D 2D                     |        |
%D 2D                     |     |  |
%D 2D                     |     |  v
%D 2D  +30                | <-| | L3
%D 2D                     |     v  |
%D 2D                     v        v
%D 2D  +18                L4 |--> L5
%D 2D                               
%D 2D  +15                F0 <--| F1
%D 2D                   / |        |
%D 2D                   | |  <--|  |
%D 2D                   | v        v
%D 2D  +30 C0 <--| C1   | F2 <--| F3     U0 <--| U1             
%D 2D      |        |   | |              |        |             
%D 2D  +12 |        |   \ |       S0     |        |             
%D 2D      |  <--|  |    vv        |\    |  |-->  |             
%D 2D  +6  |        |     F4       | |   |        |             
%D 2D      v        v              v |   v        v             
%D 2D  +12 C2 |--> C3     S1 |--> S2 |   U2 |--> U3             
%D 2D                     |        | |    
%D 2D                     |  |-->  | /    
%D 2D                     v        vv     
%D 2D  +30                S3 |--> S4      
%D 2D                                     
%D 2D  +15                R0 <--| R1                
%D 2D                     |        |                
%D 2D                     v  |     |                
%D 2D  +18                R2 | |-> |
%D 2D                     |  |     |
%D 2D                     |  v     |
%D 2D                     v        v
%D 2D  +30                R4 |--> R5
%D 2D
%D 2D
%D (( F0 .tex= LA  F1 .tex= A
%D    F2 .tex= LRB F3 .tex= RB
%D    F4 .tex= B
%D    F0 F1 <-|
%D    F0 F4 -> .slide= -16pt .plabel= l \sm{g^\flat\;:=\\Lg;\eta_B}
%D    F0 F2 -> .plabel= l Lg
%D    F1 F3 -> .plabel= r g
%D    F0 F3 harrownodes nil 20 nil <-|
%D    F2 F3 <-|
%D    F2 F4 -> .plabel= l \eta_B
%D ))
%D ((             S0 .tex= A
%D    S1 .tex= LA S2 .tex= RLA
%D    S3 .tex= B  S4 .tex= RB
%D    S0 S2 -> .plabel= r \eta_A
%D    S1 S2 |->
%D    S1 S3 -> .plabel= l f
%D    S2 S4 -> .plabel= r Rf
%D    S0 S4 -> .slide= 16pt .plabel= r \sm{f^\sharp\;:=\\\eta_A;Rf}
%D    S1 S4 harrownodes nil 20 nil |->
%D    S3 S4 |->
%D    S3 S4 -> .plabel= l \eta_B
%D ))
%D (( C0 .tex= LRB C1 .tex= RB
%D    C2 .tex= B   C3 .tex= RB
%D    C0 C1 <-|
%D    C0 C2 -> .plabel= l \sm{\eta_B\;:=\\{\id_{RB}}^\flat}
%D    C1 C3 -> .plabel= r \id_{RB}
%D    C2 C3 |->
%D    C0 C3 harrownodes nil 20 nil <-|
%D ))
%D (( U0 .tex= LA U1 .tex= A
%D    U2 .tex= LA U3 .tex= RLA
%D    U0 U1 <-|
%D    U0 U2 -> .plabel= l \id_{LA}
%D    U1 U3 -> .plabel= r \sm{\eta_A\;:=\\{\id_{LA}}^\sharp}
%D    U2 U3 |->
%D    U0 U3 harrownodes nil 20 nil |->
%D ))
%D (( L0 .tex= LA' L1 .tex= A'
%D                 L3 .tex= A
%D    L4 .tex= LA  L5 .tex= RLA
%D    L0 L1 <-|
%D    L0 L4 -> .plabel= l \sm{L\aa\;:=\\(\aa;\eta_A)^\flat}
%D    L1 L5 -> .slide= -10pt
%D    L1 L3 -> .plabel= r \aa
%D    L3 L5 -> .plabel= r \eta_A
%D    L4 L5 |->
%D    L0 L5 harrownodes nil 20 5   <-|
%D ))
%D (( R0 .tex= LRB R1 .tex= RB
%D    R2 .tex= B
%D    R4 .tex= B'  R5 .tex= RB'
%D    R0 R1 <-|
%D    R0 R2 -> .plabel= l \ee_B
%D    R2 R4 -> .plabel= l \bb
%D    R0 R4 -> .slide= 10pt
%D    R1 R5 -> .plabel= r \sm{R\bb\;:=\\(\ee_B;\bb)^\sharp}
%D    R4 R5 |->
%D    R0 R5 harrownodes 5   20 nil |->
%D ))
%D endpgfdiagram PGF-adj-reconstruction-LR
%D enddiagram
%D
$$    \diag{adj-reconstruction-LR}$$

$$\diag{PGF-adj-reconstruction-LR}$$









\end{document}


% dump-to: tests
%[==[
%]==]

% Local Variables:
% coding:             raw-text-unix
% ee-anchor-format:   "«%s»"
% End:
