assume context manager
test nested context managers
Remove unnecessary global declaration
assume restores old context after exception
simplify nested test
import assume from assumptions
from __future__ import with_statement
assume -> assuming
skip with assuming doctest
assuming uses clear/update
global_assumptions not imported to __init__
use assuming in test_inequalities
Merge pull request #1751 from mrocklin/assumptions-context

New assumptions context manager