Return to driver_for_quantum_pieri.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_Quantum_Pieri ! 4: ( file : in file_type; n,d,q : in natural ); ! 5: ! 6: -- DESCRIPTION : ! 7: -- Counts all curves of degree q that produce d-planes in n-space.