`Refine`¶

Simplifies expressions using assumptions.

$ wo 'Refine[x]'
x

A finite factor with a known sign collapses factor * Infinity to the correctly-signed infinity:

$ wo 'Refine[a*Infinity, a > 0]'
Infinity

$ wo 'Refine[a*Infinity, a < 0]'
-Infinity

Refine¶