next up previous contents
Next: Characteristic polynomial Up: Regularity of matrix with Previous: Mathematical background   Contents

Implementation

A regularity test based on this approach is implemented as:

 
int ALIAS_Check_Regularity_Linear_Matrix(int DimA,
   INTERVAL_VECTOR (* Func)(int l1, int l2,INTERVAL_VECTOR & v_IS),
   int (* A_Cond)(int dimA,
      INTERVAL_VECTOR (* Func1)(int l1, int l2,INTERVAL_VECTOR &v_IS),
      INTERVAL_VECTOR & v_IS,INTERVAL_MATRIX &A),
   int Row_Or_Column,
   int Context,
   INTEGER_MATRIX &Implication_Var,
   int Use_Rohn,
   INTERVAL_VECTOR &Domain)
where This procedure return -1 if all elements of $A$ are regular, 0 otherwise


next up previous contents
Next: Characteristic polynomial Up: Regularity of matrix with Previous: Mathematical background   Contents
Jean-Pierre Merlet 2012-12-20