intersection of fractional ideal with subfield
Given a field extension $L$ over $K$ and let $I$ be a fractional ideal in $L$. What I would like to compute is the fractional ideal $I \cap K$. I would like to ask if the function .ideal_below() is computing exactly the intersection $I \cap K$?
Please provide an actual code illustrating the question.