\begin{ccRefConcept}{PolynomialTraits_d::Resultant}
\ccDefinition

This \ccc{AdaptableFunctor} computes the resultant of two polynomials $f$ and $g$ of 
type \ccc{PolynomialTraits_d::Polynomial_d} with respect a certain variable. 

\ccRefines 
\ccc{AdaptableFunctor}

\ccTypes
\ccSetThreeColumns{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx}{xxx}{}
\ccCreationVariable{resultant}
\ccTypedef{typedef PolynomialTraits_d::Coefficient   result_type;}{}
\ccGlue
\ccTypedef{typedef PolynomialTraits_d::Polynomial_d   first_argument_type;}{}
\ccGlue
\ccTypedef{typedef PolynomialTraits_d::Polynomial_d   second_argument_type;}{}

\ccOperations
\ccMethod{result_type operator()(first_argument_type   f,
                                 second_argument_type  g);}
         { computes the resultant of $f$ and $g$, 
           with respect to the outermost variable.}

\ccMethod{result_type operator()(first_argument_type  f,
                                 second_argument_type g,
                                 int  i);}
         { computes the resultant of $f$ and $g$,
           with respect to variable $x_i$. 
           \ccPrecond $0 \leq i  < d$ 
         }

%\ccHasModels

\ccSeeAlso

\ccRefIdfierPage{Polynomial_d}\\
\ccRefIdfierPage{PolynomialTraits_d}\\

\end{ccRefConcept}
