Return to driver_for_pieri_homotopies.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Schubert |
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.