219,243d218
< 
< {\bf  Major mode modifications: }
<   \vspace*{0.4cm}
< 
< \begin{tabular}{|l|l|c|}
<   \hline
<   Strategy &  Procedures \\
<   \hline      
<         \underline{Work degree by degree} &  SETDEGREEWISE()\\
<                        &  \\
<           
<   \hline
<         Work item for item &  SETITEMWISE ()  \\
<            (not for Rabbit or SAWS)             &  \\
<         
<   \hline
<       \underline{Found leading monomials of} &  STABILISE()\\
<       \underline{Gr\"obner basis are stable.} & SETSTABILITY (T) \\      
<   \hline
<        Found leading monomials &  DESTABILISE()\\
<         Gr\"obner basis are unstable. & SETSTABILITY (NIL) \\
<   \hline
<         
<  \end{tabular}
<  \vspace*{0.4cm}
246,248d220
< 
< 
< 
958c930
< 
---
> \label{monomialsand}
1566,1571d1537
< \index{cancelautoaddrelationssettings} 
< \item [(CANCELAUTOADDRELATIONSSETTINGS)]: EXPR
< Cancels  the  automatic  relations adding  
< for the current moment, but does not turn off
< the mode completely. 
< 
1575c1541
< Cancels  the  automatic  relations adding  mode completely.
---
> Cancels  the  automatic  relations adding  mode.
1862a1829
> 
1899d1865
< 
1904d1869
< 
1933a1899,1932
> \begin{center} {\bf \large Some Filter Procedures}\end{center}
> 
> Sometimes the user needs to manipulate lists of polynomials (e.g. obtained Gr\"obner basis) and search some specific subsets, in other words to filter it.
> Here  is a list of some useful procedures already written in {\bf bergman}, which can also serves as examples for own filter procedures. All of them are designed to work in the non-commutative case with the lists in the LISP form, so the user can print and easy manipulate them using own procedures. But to use them in the internal  {\bf bergman} procedures the lists first should be converted into appropriate form - see section \ref{monomialsand} for the details.
> 
> \begin{description}
> 
> 
> \index{oneletterfilter} \item [( ONELETTERFILTER lst)]: EXPR
> 
>  The procedure consider the leading monomials
>  of the list of polynomials in the LISP form 
>  and creates another list that contains only those polynomials
>  were this monomial is not  constant multiplied by single variable. Not destructive.
> 
> \index{pbsoneletterfilter} \item [( PBSONELETTERFILTER lst)]: EXPR
> 
> The same filter, but reduce the global variable PBS for every 
> skipped polynomial.
> \index{firstletterfilter} \item [( FIRSTLETTERFILTER lst m n  )]: EXPR
> 
>  The procedure consider the first variable of the leading monomials
>  of the list of polynomials in the LISP form 
>  and creates another list that contains only those polynomials for
>   which the index of this letter (in the list of variables)is  between m and n. Not destructive.
> 
>  \index{gbleadmonfilter} \item [(GBLEADMONLFILTER  lst)]: EXPR
>  Procedure that filter a list of polynomials(in LISP FORM) and gives as result
>  the list consisting of those polynomials which leading monomial are not
>   leading monomials of  Gr\"obner basis elements. Not destructive.  
> 
> \end{description}
> 
>    \vspace{0.3cm}
