%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% $Id $
% File:		lib/COMBINAT/DOC/treesGeneric.tex
% Authors:	Nicolas M. Thiéry <nthiery@users.sourceforge.net>
% Purpose:	Documentation for the domain combinat::treesGeneric
% Created:	Mon Jan 12 10:21:32 2004
% License:	LGPL
% Project:	MuPAD-Combinat, http://mupad-combinat.sf.net
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{Mhelppage}{treesGeneric}{Nicolas M. Thiéry}
  [ImplState=stable,TestState=alpha,DocState=alpha]
%\Mproofread{...}{...}{...}

\begin{MInfo}
  \eng{a parametrized combinatorial class for all sorts of trees}
  \de{}
\end{MInfo}

\begin{MIntro}
  \eng{\Mthis{} represents a parametrized combinatorial class for all
    sorts of trees.}
  \de{}
\end{MIntro}

\begin{MExample}{ex-basic}
  \begin{Mexin}
T := combinat::treesGeneric(Labelled, CompleteBinary):
T::list(3)
  \end{Mexin}
  \begin{Mexout}
              --  1 ,  1 ,  2 ,  2 ,  3 ,  3  --
              |  / \  / \  / \  / \  / \  / \  |
              -- 2 3  3 2  1 3  3 1  1 2  2 1 --
  \end{Mexout}

  \begin{Mexin}
T:=combinat::treesGeneric(Labelled, CompleteBinary, Ordered=FALSE):
T::list(3)
  \end{Mexin}
  \begin{Mexout}
                      --  1 ,  2 ,  3  --
                      |  / \  / \  / \  |
                      -- 2 3  1 3  1 2 --
  \end{Mexout}

  \begin{Mexin}
T:=combinat::treesGeneric([NodeLabel=Epsilon(combinat::trees::dummyLabel)],
                          Labelled, CompleteBinary):
T::list(3)
  \end{Mexin}
  \begin{Mexout}
--  o  ,  o  ,  o  ,  o  ,  o  ,  o  ,   o ,   o ,   o ,   o ,
|  / \   / \   / \   / \   / \   / \    / \   / \   / \   / \
|  1 /\  1 /\  2 /\  2 /\  3 /\  3 /\  /\ 3  /\ 3  /\ 2  /\ 2
--   23    32    13    31    12    21  12    21    13    31

     o ,   o  --
    / \   / \  |
   /\ 1  /\ 1  |
   23    32   --
  \end{Mexout}

  \begin{Mexin}
T:=combinat::treesGeneric([NodeLabel=Epsilon(combinat::trees::dummyLabel)],
                          Labelled, CompleteBinary, Ordered=FALSE):
T::list(3)
  \end{Mexin}
  \begin{Mexout}
                    --  o  ,   o ,   o  --
                    |  / \    / \   / \  |
                    |  1 /\  /\ 3  /\ 2  |
                    --   23  12    13   --
  \end{Mexout}
\end{MExample}

\begin{MChanges}
  \version{3.1}
  \eng[New domain]{\Mthis{} is a new domain} %
\end{MChanges}

\end{Mhelppage}
