Weak Classes

WKICM_bar(S) : AlgEtQOrd -> SeqEnum
    Method: MonStgElt                   Default: "Auto"
Returns representatives of all the weak equivalence classes I of S satisfying (I:I)=S. The parameter Method (default "Auto") determines if we should use the "IntermediateIdeals" routine or the "LowIndexProcess", which is potentially much slower but more memory efficient.
WKICM(E) : AlgEtQOrd ->SeqEnum
    Method: MonStgElt                   Default: "Auto"
Computes the weak equivalence class monoid of E. The parameter Method (default "Auto") determines if we should use the "IntermediateIdeals" routine or the "LowIndexProcess", which is potentially much slower but more memory efficient.
V2.29, 21 October 2025