%%%%%%%%%%%%%%%%%%%%%%% file template.tex %%%%%%%%%%%%%%%%%%%%%%%%%
%
% This is a general template file for the LaTeX package SVJour3
% for Springer journals.          Springer Heidelberg 2010/09/16
%
% Copy it to a new file with a new name and use it as the basis
% for your article. Delete % signs as needed.
%
% This template includes a few options for different layouts and
% content for various journals. Please consult a previous issue of
% your journal as needed.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% First comes an example EPS file -- just ignore it and
% proceed on the \documentclass line
% your LaTeX will extract the file if required
\begin{filecontents*}{example.eps}
%!PS-Adobe-3.0 EPSF-3.0
%%BoundingBox: 19 19 221 221
%%CreationDate: Mon Sep 29 1997
%%Creator: programmed by hand (JK)
%%EndComments
gsave
newpath
  20 20 moveto
  20 220 lineto
  220 220 lineto
  220 20 lineto
closepath
2 setlinewidth
gsave
  .4 setgray fill
grestore
stroke
grestore
\end{filecontents*}

%%%%%%%%%%%%%%%%%%%%%

\def\I{\mathcal{I}}
\def\kk{\mathbb{K}}
\def\R{\mathcal{R}}
\def\S{\mathcal{S}}
\def\F{F}
\def\L{L}
%%%%%%%%%%%%%%%%%%%%%%%%

\RequirePackage{fix-cm}
%
%\documentclass{svjour3}                     % onecolumn (standard format)
\documentclass[smallcondensed]{svjour3}     % onecolumn (ditto)
%\documentclass[smallextended]{svjour3}       % onecolumn (second format)
%\documentclass[twocolumn]{svjour3}          % twocolumn
%
\smartqed  % flush right qed marks, e.g. at end of proof
%
\usepackage{graphicx}
%
% \usepackage{mathptmx}      % use Times fonts if available on your TeX system
%
% insert here the call for the packages your document requires
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{algorithm}
\usepackage{algorithmic}
\newtheorem{notation}[theorem]{Notation}
% etc.
%
% please place your own definitions here and don't use \def but
% \newcommand{}{}
%



\begin{document}


\begin{algorithm}[H]
\caption{{\sc Division Algorithm}}
\label{al2}
\begin{algorithmic}[1]
{\small
    \REQUIRE {$\F=\{f, f_{1},\ldots, f_{s}\}\subset  \R$; a set of polynomials and $ \prec $; a monomial ordering}
    \ENSURE {$ r, q_{1}, \dots, q_{s} $; where $ r $ is the remainder}
    \STATE{ Set $ q_{1}=\dots =q_{s}=r=0 $ }
    \WHILE{$f \neq 0$}
           \FOR{$ i=1, \dots, s $}
                 \IF {$lt_{\prec}(g_{i})$ divides $ lt_{\prec}(f) $}
                       \STATE {$f\leftarrow f-\dfrac{lt_{\prec}(f)}{lt_{\prec}(g_{i})} $}
                       \STATE {$ q_{i}\leftarrow q_{i}+\dfrac{lt_{\prec}(f)}{lt_{\prec}(g_{i})} $}
                       \STATE {Go to step 2}
                 \ENDIF
           \ENDFOR
           \STATE{$ r\leftarrow r+lt_{\prec}(f) $}
           \STATE{$ f\leftarrow f-lt_{\prec}(f) $}
    \ENDWHILE
    \STATE {{\bf Return} $r, q_{1}, \dots, q_{s} $}
}
\end{algorithmic}
\end{algorithm} 



\end{document}
سلام
من این سوال را به دلیل تکراری بودن بستم. به آدرس 
http://qa.parsilatex.com/29927/
مراجعه کنید و لطفاً سوال را تکرار نکنید. فایل شما را در آنجا ضمیمه
کرده‌ام. ام شما باید فایل 

را نیز ضمیمه کنید.