Given a sequence of elements of an étale algebra, returns a sequence of tuples of rational numbers that can be coerced into the original algebra to obtain the input sequence. As a second output, returns a string suitable for printing to file.
Given an order R, returns a string encoding the weak equivalence classes of R, sorted by multiplicator ring. In particular, the overorders of R can be recovered from this string. Such a string can be printed to file; use LoadWKICM to load it back.
Given a string produced with PrintWKICM, returns the corresponding order R with populated attributes for overorders and weak equivalence classes.
V2.29, 28 November 2025