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.