Return to mainenum.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/mainenum.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_SAGBI_Homotopies;
        !             4: with Driver_for_Pieri_Homotopies;
        !             5: with Driver_for_Quantum_Pieri;
        !             6:
        !             7: procedure mainenum is
        !             8:
        !             9:   m,p,q : natural;
        !            10:   file : file_type;
        !            11:   ans : character;
        !            12:
        !            13: begin
        !            14:   new_line;
        !            15:   put_line("Reading the name of the output file.");
        !            16:   Read_Name_and_Create_File(file);
        !            17:   new_line;
        !            18:   put("Give p, dimension of the solution planes : "); get(p);
        !            19:   put("Give m, the co-dimension so that n = m+p : "); get(m);
        !            20:   new_line;
        !            21:   put_line("MENU of Homotopies to solve Enumerative Geometry Problems");
        !            22:   put_line("  1. SAGBI for intersection hypersurface conditions");
        !            23:   put_line("  2. Pieri for hypersurface and general co-dimensions");
        !            24:   put_line("  3. Pieri to compute maps of degree q that produce p-planes");
        !            25:   put("Type 1, 2 or 3 to select : "); Ask_Alternative(ans,"123");
        !            26:   case ans is
        !            27:     when '1' => put(file,"SAGBI Homotopies for m = "); put(file,m,1);
        !            28:                 put(file," and p = "); put(file,p,1); new_line(file);
        !            29:                 Driver_for_SAGBI_Homotopies(file,m+p,p);
        !            30:     when '2' => put(file,"Pieri Homotopies for m = "); put(file,m,1);
        !            31:                 put(file," and p = "); put(file,p,1); new_line(file);
        !            32:                 Driver_for_Pieri_Homotopies(file,m+p,p);
        !            33:     when '3' => new_line;
        !            34:                 put("Give q, the degree of the maps : "); get(q);
        !            35:                 put(file,"Quantum Pieri for m = "); put(file,m,1);
        !            36:                 put(file,", p = "); put(file,p,1);
        !            37:                 put(file," and q = "); put(file,q,1); new_line(file);
        !            38:                 Driver_for_Quantum_Pieri(file,m+p,p,q);
        !            39:     when others => put_line("Option not recognized.  Please try again...");
        !            40:   end case;
        !            41: end mainenum;