Checks if I and J are weakly equivalent, that is, if 1 ∈(I:J) (J:I), or equivalently, if I and J are locally equivalent at all prime of their common multiplicator ring. This function does not require that the ideals are defined over the same order.
Check if the two orders O1 and O2 are weakly equivalent, that is equal.
Checks if the ideal J is weakly equivalent to order O, that is, if J is invertible in O.
Checks if the ideal J is weakly equivalent to order O, that is, if J is invertible in O.
V2.29, 21 October 2025