UnivariateAlgebraicCondition

Next: Expression Trees Up: Conditions Previous: object Contents Index

UnivariateAlgebraicCondition

$\begin{usage} import from UnivariateAlgebraicCondition(R,Rx) \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{GcdDomain}}{GcdDomain} & The coeffic... ...y}}{UnivariatePolynomialCategory} R & A polynomial type over R\\\end{params}$

$\begin{descr} UnivariateAlgebraicCondition(R,Rx)~implements algebraic conditions on one parameter. \end{descr}$

Exports

EqualityCondition

Manuel Bronstein 2000-12-13