S.<x> = NumberField(x^2-5)

is defined? I mean the S.<x>. It's (relatively) clear from the examples what it does, but I've never seen an a real explanation in the manual.