Update the main procedure to reflect our new strategy for generating relative quadratic extensions