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$?
Revision history [back]
 | 1 | initial version | |
