Simplification procedures for matrix

For some procedure involving matrices there are specific simplification procedures with a different syntax:

 
SIMP(int dimA,INTERVAL_MATRIX & A)

This procedure shall return -1 if the set of matrices A satisfies a given property, 0 otherwise (dimA is the dimension of the matrices).