Modular Techniques for Effective Localization and Double Ideal Quotient.