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

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;