The Weyl filter is implemented to manage univariate polynomial (with numerical or interval coefficients) or parametric polynomial. A basic tool of this filter is

int Weyl_Filter_Utility(int Degree, double maxroot, INTERVAL_VECTOR &b,INTERVAL_VECTOR &Input)where

int Weyl_Filter(int Degree, INTERVAL_VECTOR &Coeff,double maxroot, int (* GetB)(int,INTERVAL_VECTOR &,INTERVAL &,INTERVAL_VECTOR &), INTERVAL_VECTOR &Input)Here

This procedure has several variants:

int Weyl_Filter(int Degree, INTERVAL_VECTOR &Coeff,double max_root, INTERVAL_VECTOR &Input)here the

int Weyl_Filter(int Degree, INTERVAL_VECTOR &Coeff, INTERVAL_VECTOR &Input)here the

int Weyl_Filter(int Degree, INTERVAL_VECTOR &Coeff, int (* GetB)(int,INTERVAL_VECTOR &,INTERVAL &,INTERVAL_VECTOR &), INTERVAL_VECTOR &Input)

Jean-Pierre Merlet 2012-12-20