930c930
< 
---
> \label{monomialsand}
1828a1829
> 
1865d1865
< 
1870d1869
< 
1899a1899,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}
