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