%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% $Id: FiniteDimensionalAlgebraWithBasis.tex,v 1.1.1.3 2004/10/04 17:25:13 nthiery Exp $
% File:		lib/DOMAINS/CATEGORY/DOC/FiniteDimensionalAlgebraWithBasis.tex
% Authors:	Nicolas M. Thiéry <nthiery@users.sourceforge.net>
% Purpose:	Documentation for the category Cat::FiniteDimensionalAlgebraWithBasis
% Created:	Wed Sep  3 14:48:39 2003
% License:	LGPL
% Project:	MuPAD-Combinat, http://mupad-combinat.sf.net
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

\begin{MInfo}
  \eng{the category of finite dimensional algebras over a distinguished basis}
  \de{}
\end{MInfo}

\Mproofread{nthiery}{22/09/2003}{minimal definition; not proofread}
\begin{MIntro}
  \eng{\Mthis{} represents the category of finite dimensional algebras
    over a distinguished basis.}
  \de{}
\end{MIntro}

\begin{MCatConst}
  \MCall{R}
\end{MCatConst}

\begin{MParameters}
  \param{R}
    \eng{A domain which must be from the category \Mex{Cat::Ring}.}
    \de{}
\end{MParameters}

\begin{MCategories}
  \Mupc{Cat::AlgebraWithBasis}{R}
\end{MCategories}

\begin{MDetails}
  \eng{A \Mthis{} is an algebra over a distinguished basis
    (\Mup{Cat::AlgebraWithBasis}), which is also finite dimensional as
    a vector space (or module).}
  
  \de{}
\end{MDetails}

%\begin{MDomBasEntries}
%  \MDomEntry{bla}
%  \eng{.}
%  \de{}
%\end{MDomBasEntries}

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

\end{Mhelppage}
