Printing and Saving

PrintSeqAlgEtQElt(seq) : SeqEnum[AlgEtQElt] -> SeqEnum, MonStgElt

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.

PrintWKICM(R) : AlgEtQOrd -> MonStgElt

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.

LoadWKICM(str) : MonStgElt -> AlgEtQOrd

Given a string produced with PrintWKICM, returns the corresponding order R with populated attributes for overorders and weak equivalence classes.