Basic definitions, Algebraic numbers in relative extensions, Pseudo-bases, determinant, nfdetint, nfhnf, nfhnfmod, nfsnf, rnfalgtobasis, rnfbasis, rnfbasistoalg, rnfcharpoly, rnfconductor, rnfdedekind, rnfdet, rnfdisc, rnfeltabstorel, rnfeltdown, rnfeltnorm, rnfeltreltoabs, rnfelttrace, rnfeltup, rnfequation, rnfhnfbasis, rnfidealabstorel, rnfidealdown, rnfidealfactor, rnfidealhnf, rnfidealmul, rnfidealnormabs, rnfidealnormrel, rnfidealprimedec, rnfidealreltoabs, rnfidealtwoelt, rnfidealup, rnfinit, rnfisabelian, rnfisfree, rnfislocalcyclo, rnfisnorm, rnfisnorminit, rnfkummer, rnflllgram, rnfnormgroup, rnfpolred