Problem with rs_isolate using the verbose optional parameter
rs_isolate(rur,sep,verbose=Int32(2)) runs forever (rur,sep is the output of RationalUnivariateRepresentation)
rs_isolate(rur,sep,verbose=Int32(2)) runs forever (rur,sep is the output of RationalUnivariateRepresentation)