Return to ts_pieri.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/ts_pieri.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Communications_with_User;           use Communications_with_User;
                      3: with Driver_for_Pieri_Homotopies;
                      4: with Driver_for_Quantum_Pieri;
                      5:
                      6: procedure ts_pieri is
                      7:
                      8: -- DESCRIPTION :
                      9: --   Simply calls the driver for the Pieri homotopies.
                     10:
                     11:   procedure Main is
                     12:
                     13:     n,d,q : natural;
                     14:     file : file_type;
                     15:
                     16:   begin
                     17:     new_line;
                     18:     put_line("Pieri Homotopies for linear subspace intersections.");
                     19:     new_line;
                     20:     put_line("Reading the name of the output file.");
                     21:     Read_Name_and_Create_File(file);
                     22:     new_line;
                     23:     put("Give n = m+p, dimension of working space : "); get(n);
                     24:     put("Give p, the dimension of the solution planes : "); get(d);
                     25:     put("Give q, degree of map (q=0 : simple Pieri) : "); get(q);
                     26:     put(file,"Pieri Homotopies for n = "); put(file,n,1);
                     27:     put(file,"  p = "); put(file,d,1);
                     28:     put(file,"  and q = "); put(file,q,1); new_line(file);
                     29:     if q = 0
                     30:      then Driver_for_Pieri_Homotopies(file,n,d);
                     31:      else Driver_for_Quantum_Pieri(file,n,d,q);
                     32:     end if;
                     33:   end Main;
                     34:
                     35: begin
                     36:   Main;
                     37: end ts_pieri;