Refine[expr, assum] gives the form of expr that would be obtained if symbols in it were replaced by explicit numerical expressions satisfying the assumptions assum.
Refine[expr] uses default assumptions specified by any enclosing Assuming constructs.