%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% $Id: Operad.tex,v 1.1.1.1 2004/10/04 17:25:13 nthiery Exp $
% File:		lib/DOMAINS/CATEGORY/DOC/Operad.tex
% Authors:	Nicolas M. Thiéry <nthiery@users.sourceforge.net>
% Purpose:	Documentation for the category Cat::Operad
% Created:	Tue Dec  9 20:54:33 2003
% License:	LGPL
% Project:	MuPAD-Combinat, http://mupad-combinat.sf.net
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{Mhelppage}{Operad}{Nicolas M. Thiéry}
  [ImplState=beta,TestState=beta,DocState=beta]
\Mproofread{nthiery}{28/09/2004}{reasonably complete, but not proofread}

\begin{MInfo}
  \eng{the category of operads}
  \de{}
\end{MInfo}

\begin{MIntro}
  \eng{\Mthis{} represents the category of operads.}
  \de{}
\end{MIntro}

\begin{MCatConst}
  \MCall{coeffRing}
\end{MCatConst}

\begin{MCategories}
  \Mupc{Cat::Module}{coeffRing}
\end{MCategories}

\begin{MDetails}
  \eng{A \Mthis{coeffRing} is an operad over the coefficient ring
    \Mex{coeffRing}.}
\end{MDetails}

\begin{MDomBasEntries}
  \MDomEntry{one}
  \eng{The unit of the operad with respect to composition.}
\end{MDomBasEntries}

\begin{MMethodDetails}{fromCoeffRing}
  \infoEng{natural embedding of the coefficient ring}
  \infoDe{}
  \call{\Mopt{\Mtype{coeffRing} c}}
  \eng{Returns the natural embedding \Mex{c*dom::one} of the
    coefficient \Mex{c} as an element of this operad.}
  \de{}
\end{MMethodDetails}

\begin{MMethodDetails}{composition}
  \infoEng{composition}
  \infoDe{}
  \call{\Mtype{dom::basisIndices} x, \Mtype{dom::basisIndices} y,
    \Mtype{positive integer} i}
  \eng{Returns the composition of \Mpar{x} and \Mpar{y} at position
    \Mpar{i}.}
\end{MMethodDetails}

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

\end{Mhelppage}
