Return to driver_for_quantum_pieri.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

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.