1.1 ! maekawa 1: with text_io; use text_io; ! 2: ! 3: procedure Driver_for_Pieri_Homotopies ! 4: ( file : in file_type; n,d : in natural ); ! 5: ! 6: -- DESCRIPTION : ! 7: -- Finds all d-planes that meet a linear subspaces in n-space.