add test cases for rational package
change api
add general operation for rational package
change arguments in raise function
change simplify procedure in case returning boolean (a bug from 2.85)