Abstract. We construct an innovative SVP(CVP) solver for ideal lattices in case of any relative extension of number fields L/K of degree n where L is real(contained in R). The solver, by exploiting the relationships between the so-called local and global number fields, reduces solving SVP(CVP) of the input ideal A in field L to solving a set of (at most n) SVP(CVP) of the ideals Ai in field Li with relative degree 1 ≤ ni < n and i ni = n. The solver's space-complexity is polynomial and its time-complexity's explicit dependence on the dimension (relative extension degree n) is also polynomial. More precisely, our solver's time-complexity is poly(n, |S|, NP G, NP T , N d , N l ) where |S| is bit-size of the input data and NP G, NP T , N d , N l are the number of calls to some oracles for relatively simpler problems (some of which are decisional). This feature implies that if such oracles can be implemented by efficient algorithms (with time-complexity polynomial in n), which is indeed possible in some situations, our solver will perform in this case with timecomplexity polynomial in n. Even if there is no efficient implementations for these oracles, this solver's time-complexity may still be significantly lower than those for general lattices, because these oracles may be implemented by algorithms with sub-exponential time-complexity