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.