subfield.complete_lattice source