Return to ts_startsys.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/ts_startsys.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Standard_Complex_Vectors_io;        use Standard_Complex_Vectors_io;
                      3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      4: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
                      5: with Standard_Complex_Poly_SysFun;       use Standard_Complex_Poly_SysFun;
                      6: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      7: with Total_Degree_Start_Systems;         use Total_Degree_Start_Systems;
                      8:
                      9: procedure ts_startsys is
                     10:
                     11: -- DESCRIPTION :
                     12: --   Test on the construction of total-degree based start systems.
                     13:
                     14:   procedure Evaluate ( p : in Poly_Sys; sols : in Solution_List ) is
                     15:
                     16:   -- DESCRIPTION :
                     17:   --   Evaluates every solution in p and displays the result.
                     18:
                     19:     tmp : Solution_List := sols;
                     20:     cnt : natural := 0;
                     21:
                     22:   begin
                     23:     while not Is_Null(tmp) loop
                     24:       cnt := cnt + 1;
                     25:       put("Eval solution no. "); put(cnt,1); put(" : ");
                     26:       put(Eval(p,Head_Of(tmp).v)); new_line;
                     27:       tmp := Tail_Of(tmp);
                     28:     end loop;
                     29:   end Evaluate;
                     30:
                     31:   procedure Main is
                     32:
                     33:     lp : Link_to_Poly_Sys;
                     34:
                     35:   begin
                     36:     new_line;
                     37:     put_line("Testing the construction of a total-degree based start system.");
                     38:     new_line;
                     39:     get(lp);
                     40:     declare
                     41:       q : Poly_Sys(lp'range);
                     42:       qsols : Solution_List;
                     43:     begin
                     44:       Start_System(lp.all,q,qsols);
                     45:       Evaluate(q,qsols);
                     46:     end;
                     47:   end Main;
                     48:
                     49: begin
                     50:   Main;
                     51: end ts_startsys;