Annotation of OpenXM_contrib/PHC/Ada/Schubert/driver_for_pieri_homotopies.ads, Revision 1.1.1.1
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.