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     ! 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;