Algorithmic algebraic number theory | lit.salon