with text_io; use text_io; procedure Driver_for_Pieri_Homotopies ( file : in file_type; n,d : in natural ); -- DESCRIPTION : -- Finds all d-planes that meet a linear subspaces in n-space.