  By double ideal quotient, we mean $(I:(I:J))$ where ideals $I$ and $J$. In
our previous work [11], double ideal quotient and its variants are shown to be
very useful for checking prime divisor and generating primary component.
Combining those properties, we can compute "direct localization" effectively,
comparing with full primary decomposition. In this paper, we apply modular
techniques effectively to computation of such double ideal quotient and its
variants, where first we compute them modulo several prime numbers and then
lift them up over rational numbers by Chinese Remainder Theorem and rational
reconstruction. As a new modular technique for double ideal quotient and its
variants, we devise criteria for output from modular computations. Also, we
apply modular techniques to intermediate primary decomposition. We examine the
effectiveness of our modular techniques for several examples by preliminary
computational experiences on Singular.
