Package for studying conditions associated to Residual Intersection theory